Embed Python in Java

A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.

Bellman zkSNARK library for community with Ethereum's BN256 support

A numerical solver package for a wide range of quantum lattice models based on many-variable Variational Monte Carlo method

World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.

An implementation of the Three-Legged Tree Tensor Network algorithm

Relic Protocol ZK circuits