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 last year
- Rust implementation for Verkle tree.β15Apr 18, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 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
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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β19Apr 16, 2026Updated 2 weeks ago
- β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
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 7 months ago
- β30Mar 24, 2023Updated 3 years ago
- Using folding schemes for a provable bitcoin light clientβ34May 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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β34Apr 23, 2026Updated last week