Repositories list

• AirAssembly

  Public
  Low-level language for encoding AIR of computations

  cryptographyzero-knowledgestarks

  TypeScript

  •

  MIT License

  •4•34•7•9•Updated May 7, 2023May 7, 2023

• distaff

  Public
  Zero-knowledge virtual machine written in Rust

  cryptographyvirtual-machinestack-based+ 1zero-knowledge

  Rust

  •

  MIT License

  •44•244•9•2•Updated Mar 17, 2023Mar 17, 2023

• galois

  Public
  Arithmetic and polynomial operations in finite fields.

  cryptographyfast-fourier-transformfinite-fields+ 1lagrange-interpolation

  TypeScript

  •

  MIT License

  •4•38•8•18•Updated Dec 30, 2022Dec 30, 2022

• merkle

  Public
  Merkle tree and other data structures.

  cryptographymerkle-treemerkle-proof

  TypeScript

  •

  MIT License

  •5•17•2•18•Updated Dec 30, 2022Dec 30, 2022

• genSTARK

  Public
  A library for generating zk-STARKs.

  cryptographystarkzero-knowledge

  TypeScript

  •

  MIT License

  •18•144•5•3•Updated Jul 29, 2022Jul 29, 2022

• winterfell

  Public
  A STARK prover and verifier for arbitrary computations

  Rust

  •

  MIT License

  •182•7•0•0•Updated Aug 4, 2021Aug 4, 2021

• genSTARK.demo

  Public
  Examples of using genSTARK library

  TypeScript

  •

  MIT License

  •3•1•0•4•Updated Apr 1, 2021Apr 1, 2021