TypeScript Serialization module

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

The Nexus zkVM: The zero-knowledge virtual machine

zkSNARK implementation in JavaScript & WASM

Circom Circuits Library for Machine Learning

The proof systems used by Mina

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

A Virtual Machine for Zero-Knowledge Executions

Automatic verification of LLVM optimizations

A Rust Implementation of the PLONK ZKP System and Extensions

A VSP; run your encrypted C code AS IS!

Serverless computing platform with process-based lightweight function execution and container-based application isolation. Works in Knative and bare metal/VM environments.

Grammars written for ANTLR v4; expectation that the grammars are free of actions.