Skip to content
@zksecurity

ZkSecurity

README.md

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 211 61

  3. zkBank Public

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

    Go 145 31

  4. stark-book Public

    STARK book

    CSS 20 1

  5. zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 202 21

  6. halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 22 2

Repositories

Showing 10 of 31 repositories
  • stwo-webgpu Public Forked from starkware-libs/stwo
    Rust 0 Apache-2.0 131 0 0 Updated Mar 30, 2025
  • mina-attestations Public

    Private Attestations for Mina wallets

    TypeScript 13 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 0 0 Updated Mar 27, 2025
  • stwo Public Forked from starkware-libs/stwo
    Rust 0 Apache-2.0 131 0 5 Updated Mar 10, 2025
  • RFCs Public

    Cryptography RFCs related to Zero-Knowledge Proofs

    Python 8 0 2 0 Updated Mar 6, 2025
  • noname Public

    Noname: a programming language to write zkapps

    Rust 211 61 89 9 Updated Feb 22, 2025
  • stwo-book Public
    0 1 13 0 Updated Feb 17, 2025
  • stone-cli Public

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

    Rust 17 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
View all repositories

Top languages

Loading…

Most used topics

Loading…