ChainSafe / Spectre
ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
☆58Updated last month
Related projects ⓘ
Alternatives and complementary repositories for Spectre
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- ☆86Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- The schelling point for ZK applications.☆134Updated 6 months ago
- ☆60Updated 6 months ago
- ☆24Updated 3 weeks ago
- Polynomials Identity Language☆67Updated 8 months ago
- halo2 ecc circuit☆114Updated last year
- ☆38Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- Poseidon hash circuit☆94Updated 3 weeks ago
- customizable halo2 circuits batcher☆30Updated this week
- ☆94Updated 3 months ago
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- Generates a stark from a pil☆95Updated 3 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆30Updated last month
- ☆115Updated 3 months ago
- OS for next iteration of the world computer☆45Updated last year
- ☆43Updated this week
- ☆59Updated 3 months ago
- ☆147Updated 8 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- Core components of the Polygon Miden rollup☆73Updated this week
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- ☆85Updated 3 months ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 3 months ago