lambdaclass / cairo-vm.c
cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
☆19Updated last year
Related projects: ⓘ
- Blazing fast tool to benchmark Starknet sequencers 🦀☆21Updated 3 months ago
- cairo-by-example.com☆38Updated 5 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Updated last year
- ☆24Updated this week
- ☆39Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 2 weeks ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- ☆15Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- ☆39Updated 2 years ago
- Cairo Merkle Mountain Range☆37Updated 10 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- an introduction to noir, with simple examples☆43Updated 8 months ago
- Noir implementation of RSA-verify☆41Updated 9 months ago
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 2 years ago
- ☆31Updated 6 months ago
- verify cairo execution in Halo2☆17Updated last year
- bn254 pairing library for Cairo Zero☆26Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Verify a chain of x509 certificates in halo2☆32Updated 9 months ago
- Export Circom verifier to Cairo☆48Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆36Updated last month
- Shared peer-to-peer network of zero-knowledge provers☆13Updated last month
- ☆12Updated this week
- An API compatible port of the Stone prover.☆13Updated last week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- xoroshiro PRNG implementation in Cairo☆35Updated last week
- Documentation generator for Cairo projects.☆14Updated last year