ChainSafe / Spectre
ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
☆58Updated last month
Related projects ⓘ
Alternatives and complementary repositories for Spectre
- Core components of the Polygon Miden rollup☆70Updated this week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆78Updated 6 months ago
- ☆36Updated last week
- ☆84Updated this week
- ☆60Updated 6 months ago
- ☆24Updated last week
- ☆59Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Poseidon hash circuit☆94Updated last week
- Out-of-circuit zkEVM implementation☆81Updated 2 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆55Updated last week
- customizable halo2 circuits batcher☆30Updated last week
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated 3 weeks ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 2 months ago
- ☆42Updated this week
- The schelling point for ZK applications.☆134Updated 6 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆56Updated this week
- ☆145Updated 8 months ago
- Test runner for ethereum foundation tests☆24Updated this week
- ☆49Updated last month
- ☆28Updated last week
- Circom interpreter to arithmetic circuit description☆44Updated last month
- Cryptographic primitives used in Polygon Miden rollup☆101Updated this week
- Contracts for onchain verification of SP1.☆59Updated last week
- This repo compiles .zkasm to a json ready for the zkExecutor☆30Updated 3 weeks ago
- ☆93Updated 2 months ago
- ☆19Updated 2 months ago