Popular repositories

1. distaff distaff Public

   Zero-knowledge virtual machine written in Rust

   Rust 242 45

2. genSTARK genSTARK Public

   A library for generating zk-STARKs.

   TypeScript 141 18

3. galois galois Public

   Arithmetic and polynomial operations in finite fields.

   TypeScript 36 4

4. AirAssembly AirAssembly Public

   Low-level language for encoding AIR of computations

   TypeScript 32 4

5. merkle merkle Public

   Merkle tree and other data structures.

   TypeScript 17 5

6. winterfell winterfell Public

   Forked from facebook/winterfell

   A STARK prover and verifier for arbitrary computations

   Rust 7