lambdaclass / aleo_lambda_vm
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
☆21Updated last year
Alternatives and similar repositories for aleo_lambda_vm:
Users that are interested in aleo_lambda_vm are comparing it to the libraries listed below
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆16Updated 2 years ago
- ☆17Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- plonky2 implementation of bn254 pairing☆18Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- ☆42Updated 9 months ago
- powdr application running Ethereum tests via revm☆18Updated 10 months ago
- ☆33Updated last year
- Groth16 verifier in EVM☆21Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- Early prototype.☆23Updated 2 years ago
- ☆23Updated 4 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆14Updated 2 weeks ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- Solidity verifier for Plonk☆42Updated 8 months ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- RLN on KZG☆20Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- An API compatible port of the Stone prover.☆19Updated 5 months ago
- ☆24Updated last year
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago