color-typea's repositories
evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity000
lido-oracle
Pythonic Lido Oracle daemon
Language:PythonGPL-3.0000
proof-producer
Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/
Language:C++000
zkllvm
Zero-Knowledge Proof Systems Circuit Compiler
Language:C++000
Language:Solidity000
zkllvm-template
Template repository for zkLLVM-based projects
Language:CMake000