snarkfront. a C++ embedded domain specific language for zero knowledge proofs
snarklib. a C++ template library for zero knowledge proofs
cryptl. cryptographic C++ template library parameterized by code management
kapital. zero knowledge exchange of value
