-
stark-backend Public
Forked from openvm-org/stark-backendProof system backends for OpenVM.
Rust MIT License UpdatedFeb 11, 2025 -
-
hashcaster Public
Forked from morgana-proofs/hashcasterFrobenius sumcheck for vectorized boolean ops
Rust Apache License 2.0 UpdatedNov 29, 2024 -
-
haunted Public
Forked from ChihChengLiang/hauntedGeneric backend to host your phantom-zone
Rust UpdatedOct 16, 2024 -
-
-
-
-
-
Goldilocks Public
Forked from zhenfeizhang/GoldilocksImplementation of Goldilocks and its extension fields for Halo2 traits
-
halo2-solidity-verifier Public
Forked from privacy-ethereum/halo2-solidity-verifierA set of tooling related to halo2 circuits verification inside Solidity contracts
-
-
-
-
-
snark-verifier Public
Forked from privacy-ethereum/snark-verifier -
-
-
halo2-zk-email Public
Forked from zkemail/halo2-zk-emailEmail verification circuit in halo2
Rust UpdatedSep 2, 2023 -
-
powdr Public
Forked from powdr-labs/powdrA modular stack for zkVMs, with a focus on productivity, security and performance.
Rust MIT License UpdatedJun 22, 2023 -
-
-
-
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
-
halo2-snark-aggregator Public
Forked from scroll-tech/halo2-snark-aggregatorhalo2 ecc circuit
-
-
cannon Public
Forked from ethereum-optimism/cannonCANNON CANNON CANNON!
-
{{ message }}