Formalization of Mathematical Logic

Benchmark of ZKVMs and Proving Schemes

Computable Polynomials in Lean.

Libraries for finite field, elliptic curve, and polynomial arithmetic

A Rust library for polynomial commitments

Example repo for doing BLS signatures with the arkworks backend

Rust crate providing iterators over binary Gray codes and utilities for efficiently visiting all subsets of a collection

Fiat-Shamir for the masses.

A valgrind mirror with latest macOS support

MerkleTree compatible with circomlib/smt

Fast, multi-threaded implementation of the Miller-Rabin primality test

Cryptographic accumulator based on the strong RSA assumption, Python & Solidity

A modern runtime for JavaScript and TypeScript.