Vu Vo's repositories
circom-rsa-verify
Zero Knowledge Proof for RSA
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
awesome-folding
A curated list of zero-knowledge folding schemes
circom-2-arithc
Circom interpreter to arithmetic circuit description
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
fe
Emerging smart contract language for the Ethereum blockchain.
gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
naruto
Naruto is an implementation of RAMenPaSTA https://eprint.iacr.org/2024/336
pillow
Polynomial identity language learn of work (pollow)
powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
sonobe
Experimental folding schemes library
testudo
Testudo: Spartan + Groth16
UMinhForest
Implementation of the Mangrove paper: https://eprint.iacr.org/2024/416.pdf
website-v2
PSE website v2 with more user research and new branding!
zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
zkrepl
An online playground for zero knowledge circuits