succinctlabs / starkyx
☆60Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for starkyx
- The schelling point for ZK applications.☆134Updated 6 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- Core components of the Polygon Miden rollup☆70Updated this week
- ☆24Updated last week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- ☆42Updated this week
- customizable halo2 circuits batcher☆30Updated last week
- ☆28Updated last week
- High performance EraVM for zkSync.☆23Updated last week
- Poseidon hash circuit☆94Updated last week
- Contracts for onchain verification of SP1.☆59Updated last week
- Solidity implementation of Nova proving system verifier☆59Updated 7 months ago
- Specification of P2P protocol for StarkNet nodes☆45Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆55Updated last week
- ☆59Updated 2 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 2 months ago
- EraVM specification.☆15Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated last week
- Benchmark for adding Lasso lookup argument to halo2 backend☆30Updated 8 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated last month
- ☆60Updated 7 months ago
- 🐺 Starknet Rust types 🦀☆65Updated this week
- Circom interpreter to arithmetic circuit description☆44Updated last month
- Email verification circuit in halo2☆62Updated 4 months ago
- ☆49Updated last month