0xPolygonZero / paladin
Bringing divine order to remote task execution.
☆21Updated this week
Related projects ⓘ
Alternatives and complementary repositories for paladin
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆23Updated 7 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆32Updated this week
- ☆24Updated last year
- Rescue and Poseidon hash function implementations☆42Updated 2 months ago
- ☆31Updated 6 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆11Updated this week
- For practice to using halo2☆23Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Cryptographic protocols☆37Updated last year
- ☆40Updated 3 months ago
- Minimal Merkle Tree implementations☆26Updated 3 weeks ago
- High performance EraVM for zkSync.☆23Updated last week
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated 3 months ago
- An observatory fork of SP1 (contact: @huitseeker)☆47Updated this week
- Contracts for onchain verification of SP1.☆59Updated last week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated last month
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆91Updated this week
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- Rust implementation of KZG point evaluation☆25Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated last week
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- A Language Server Protocol Implementation for Circom☆30Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated last week
- High-performance Multi-scalar Multiplication for Pasta curves☆21Updated 11 months ago