6 Repositories
Rust plonky2-recursion Libraries
Easy recursion in Rust, without stack overflows.
Recursive With recursive you can easily make (indirectly) recursive functions without worrying about stack overflows by marking them as #[recursive]:
🪩 verify plonky3 proofs in plonky2
plonky2.5 verify plonky3 STARK proofs in a plonky2 SNARK Getting Started Generate plonky3 fibonacci(64) proof git clone -b fib-example https://github.
plonky2 recursion framework handling different circuits in unified way.
generic_recursion Version: 0.1.0 generic_recursion is a crate that allows to easily aggregate an unlimited amount of plonky2 proofs, generated with a
Uses Plonky2 proof system to build recursive circuits for Merkle Trees.
ProvableMerkleTrees Introduction This repo provides Rust code to build Merkle Trees, equipped with a Provable interface to generate Zero Knowledge pro
Recursive-OVOTE: OVOTE enjoying Plonky2 recursion
rovote: recursive ovote Recursive-OVOTE: OVOTE enjoying Plonky2 recursion. Note: this repo is an experiment, do not use in production. The inner & out
Expanding opportunities standard library std::fs and std::io
fs_extra A Rust library that provides additional functionality not present in std::fs. Documentation Migrations to 1.x.x version Key features: Copy fi