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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- ☆18Mar 28, 2023Updated 3 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆118May 6, 2024Updated last year
- Rust implementation for Verkle tree.☆15Apr 18, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- ☆12Sep 11, 2024Updated last year
- Early prototype.☆23Mar 30, 2023Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- JSON parser written in Lurk☆28Jun 17, 2023Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- ☆20Jul 10, 2025Updated 9 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- ring-vrf ring proof v2.5☆20Updated this week
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- implentation of Ligerito☆19Nov 9, 2025Updated 5 months ago
- ☆13Aug 10, 2024Updated last year
- ☆113Feb 6, 2024Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 3 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆72Jun 7, 2022Updated 3 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆63May 22, 2023Updated 2 years ago
- ☆15Sep 20, 2025Updated 6 months ago
- ☆30Mar 24, 2023Updated 3 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- ☆27May 20, 2022Updated 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
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 3 years ago
- ☆19Dec 19, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 3 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Dec 2, 2024Updated last year