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 🐺🦀☆141Apr 28, 2023Updated 3 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 2 years ago
- Rust implementation for Verkle tree.☆15Apr 18, 2022Updated 4 years ago
- AI Agents on 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.
- 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 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- ☆20Jul 10, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- ring-vrf ring proof v2.5☆21Updated this week
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- implentation of Ligerito☆19Apr 16, 2026Updated last month
- ☆13Aug 10, 2024Updated last year
- ☆114Feb 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 3 years ago
- ☆15Sep 20, 2025Updated 8 months ago
- ☆30Mar 24, 2023Updated 3 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- ☆27May 20, 2022Updated 4 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☆34Apr 23, 2026Updated 3 weeks ago