Stars
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
The GUDHI library is a generic open source C++ library, with a Python interface, for Topological Data Analysis (TDA) and Higher Dimensional Geometry Understanding.
This repository demonstrates how to integrate the @plutoxyz/web-proofs library in both vanilla JavaScript and React applications.
A lattice-based non-interactive folding scheme written in Rust
Empowering everyone to build reliable and efficient software.
Noir is a domain specific language for zero knowledge proofs
Experimental folding schemes library
Extracting the semantics of Noir to Lean for formal verification
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
a reference on testing and constraining circom
JavaScript Implementation of a Multi-Factor Key Derivation Function (MFKDF)
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
Next generation Cosmic desktop environment
A textbook centered around teaching mathematics to physicists and chemists