Skip to content

Hi there 👋

We are experts in zero-knowledge proofs and cryptography in general. We perform audits, development work, due diligence, research, etc.

Check our blog for more information!

Pinned Loading

  1. wasmati Public

    Write low-level WebAssembly, from JavaScript

    TypeScript 223 7

  2. noname Public

    Noname: a programming language to write zkapps

    Rust 214 62

  3. zkBank Public

    zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

    Go 150 32

  4. stark-book Public

    STARK book

    CSS 20 1

  5. zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 206 22

  6. halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 22 2

Repositories

Showing 10 of 31 repositories
  • stwo Public Forked from starkware-libs/stwo
    Rust 0 Apache-2.0 132 0 7 Updated Apr 25, 2025
  • noname Public

    Noname: a programming language to write zkapps

    Rust 214 62 89 10 Updated Apr 24, 2025
  • stwo-book Public
    4 2 13 1 Updated Apr 10, 2025
  • stwo-webgpu Public Forked from starkware-libs/stwo
    Rust 0 Apache-2.0 132 0 0 Updated Mar 30, 2025
  • mina-attestations Public

    Private Attestations for Mina wallets

    TypeScript 12 Apache-2.0 5 9 1 Updated Mar 28, 2025
  • flatn Public

    Python package for the flatter lattice reduction library

    Makefile 0 GPL-3.0 0 1 0 Updated Mar 27, 2025
  • zkbitcoin Public

    zkBitcoin: zero-knowledge proofs on Bitcoin!

    Rust 5 MIT 0 2 0 Updated Mar 27, 2025
  • RFCs Public

    Cryptography RFCs related to Zero-Knowledge Proofs

    Python 8 0 2 0 Updated Mar 6, 2025
  • stone-cli Public

    stone-cli is a CLI for proving and verifying Cairo programs.

    Rust 18 Apache-2.0 4 3 1 Updated Feb 17, 2025
  • zkbugs-website Public

    Website for the zkbugs project (https://github.com/zksecurity/zkbugs)

    JavaScript 0 0 0 0 Updated Feb 14, 2025