color-typea

color-typea

Geek Repo

Github PK Tool:Github PK Tool

color-typea's repositories

Language:SolidityLicense:GPL-3.0Stargazers:1Issues:0Issues:0

evm-placeholder-verification

Placeholder proof system verifier for EVM

Language:SolidityStargazers:0Issues:0Issues:0

lido-oracle

Pythonic Lido Oracle daemon

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

proof-producer

Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/

Language:C++Stargazers:0Issues:0Issues:0

zkllvm

Zero-Knowledge Proof Systems Circuit Compiler

Language:C++Stargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:0Issues:0

zkllvm-template

Template repository for zkLLVM-based projects

Language:CMakeStargazers:0Issues:0Issues:0