color-typea

Pinned Repositories

evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity00
lido-oracle
Pythonic Lido Oracle daemon
Language:Python0 0 00
lido-succinct-derisk
Language:Rust00
lido-trustless-tvl-oracle-solution
Language:Solidity10
lido-zkllvm-accounting-circuit
Language:C++3 1 12
proof-producer
Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/
Language:C++00
sp1-lido-accounting-zk
Language:Rust00
zkllvm
Zero-Knowledge Proof Systems Circuit Compiler
Language:C++0 0 00
zkllvm-playground
Language:Solidity00
zkllvm-template
Template repository for zkLLVM-based projects
Language:CMake00

color-typea's Repositories

color-typea/lido-zkllvm-accounting-circuit
Language:C++3 1 12
color-typea/lido-trustless-tvl-oracle-solution
Language:Solidity10
color-typea/evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity00
color-typea/lido-oracle
Pythonic Lido Oracle daemon
Language:Python0 0 00
color-typea/lido-succinct-derisk
Language:Rust00
color-typea/proof-producer
Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/
Language:C++00
color-typea/sp1-lido-accounting-zk
Language:Rust00
color-typea/zkllvm
Zero-Knowledge Proof Systems Circuit Compiler
Language:C++0 0 00
color-typea/zkllvm-playground
Language:Solidity00
color-typea/zkllvm-template
Template repository for zkLLVM-based projects
Language:CMake00