Zero Knowledge Virtual Machine from scratch implementing Pinocchio
☆38Jul 25, 2023Updated 2 years ago
Alternatives and similar repositories for pinocchio_lambda_vm
Users that are interested in pinocchio_lambda_vm are comparing it to the libraries listed below
Sorting:
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- ☆18Mar 28, 2023Updated 2 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117May 6, 2024Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 2 years ago
- ☆20Jul 10, 2025Updated 7 months ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- ☆12Sep 11, 2024Updated last year
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- ☆13Aug 10, 2024Updated last year
- ☆15Jul 8, 2021Updated 4 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Dec 2, 2024Updated last year
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆15Sep 13, 2021Updated 4 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61May 22, 2023Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- ☆33Sep 22, 2023Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- ☆113Feb 6, 2024Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- ☆27May 20, 2022Updated 3 years ago
- Practical Experiments on how to add complete privacy to flashbots☆48Oct 12, 2024Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Feb 20, 2023Updated 3 years ago
- Rust implementation for Verkle tree.☆15Apr 18, 2022Updated 3 years ago
- ring-vrf ring proof v2.5☆20Feb 19, 2026Updated last week