Skip to content

zkSecurity

👋 Welcome to zkSecurity! We are a security R&D team specializing in advanced cryptography. Our mission is to provide secure solutions to modern cryptographic challenges and make systems secure and future-proof. We conduct expert security audits 🔒 for zero-knowledge protocols, cryptographic algorithms, smart contracts, and more – helping projects find vulnerabilities and strengthen their code before deployment.

Our expertise spans zero-knowledge proofs (ZKP), multi-party computation (MPC), fully homomorphic encryption (FHE), and post-quantum cryptography. The zkSecurity team has audited numerous high-profile projects which you can browse on the reports page.

Featured Projects

Here are a few of our open-source projects and tools 🚀:

  • Noname – A high-level programming language for writing zero-knowledge applications (zkApps). Inspired by Rust and Go, Noname lets developers easily build zk circuits and proofs. It supports multiple proving systems, currently compiling to R1CS (for SnarkJS) and Kimchi (Mina’s plonk proof system).
  • ZkBugs – A curated collection of real-world ZKP vulnerabilities with scripts to reproduce each exploit. ZkBugs helps developers learn from past security issues in zero-knowledge protocols, providing hands-on examples of how bugs were exploited and how to prevent similar flaws.
  • Wasmati – A TypeScript library for writing low-level WebAssembly modules directly from JavaScript. Wasmati empowers developers to hand-craft optimized WebAssembly (WASM) code without needing a separate compiler, making it easier to create performance-critical crypto and ZK primitives in a JS/TS environment.
  • zkBank – A capture-the-flag challenge that we use for recruiting. Interested in joining the team? Take a look at it!

Get in Touch

🚀 We’re always excited to collaborate – whether it’s discussing a new cryptographic idea, building secure software, or reviewing code for potential bugs. Feel free to star our repositories if you find them useful, open an issue or pull request to contribute, and reach out if you’d like to work together. Join our community or contact us – we’d love to hear from you! 💬

Pinned Loading

  1. wasmati wasmati Public

    Write low-level WebAssembly, from JavaScript

    TypeScript 233 7

  2. zkbugs zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 324 37

  3. noname noname Public

    Noname: a programming language to write zkapps

    Rust 230 78

  4. zkBank zkBank Public

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

    Go 211 51

  5. stark-book stark-book Public

    STARK book

    CSS 20 1

  6. halo2-course halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 35 3

Repositories

Showing 10 of 49 repositories
  • evm-asm Public
    zksecurity/evm-asm’s past year of commit activity
    Lean 4 MIT 1 9 0 Updated Mar 21, 2026
  • ragu Public Forked from tachyon-zcash/ragu

    Rust language proof-carrying data framework

    zksecurity/ragu’s past year of commit activity
    Rust 1 Apache-2.0 16 0 3 Updated Mar 21, 2026
  • mina-guard Public

    MultiSig Wallet for the Mina Network

    zksecurity/mina-guard’s past year of commit activity
    TypeScript 1 MIT 0 0 5 Updated Mar 20, 2026
  • pi-mono Public Forked from badlogic/pi-mono

    AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

    zksecurity/pi-mono’s past year of commit activity
    TypeScript 2 MIT 2,833 0 0 Updated Mar 20, 2026
  • mina-explorer Public

    Mina block explorer with lightnet/devnet/mainnet support

    zksecurity/mina-explorer’s past year of commit activity
    TypeScript 1 0 0 0 Updated Mar 19, 2026
  • zkhydra Public

    Run ZK circuit security tools

    zksecurity/zkhydra’s past year of commit activity
    Python 4 MIT 0 2 0 Updated Mar 15, 2026
  • vibenote Public

    Markdown notes, backed with Git. Vibe-coded ✌️

    zksecurity/vibenote’s past year of commit activity
    TypeScript 2 0 25 4 Updated Mar 6, 2026
  • flatn Public

    Python package for the flatter lattice reduction library

    zksecurity/flatn’s past year of commit activity
    Python 4 GPL-3.0 0 1 0 Updated Mar 2, 2026
  • secp256kfun Public Forked from LLFourn/secp256kfun

    A pure-rust secp256k1 library optimised for fun

    zksecurity/secp256kfun’s past year of commit activity
    Rust 0 0BSD 37 0 0 Updated Mar 2, 2026
  • advisory-db Public Forked from rustsec/advisory-db

    Security advisory database for Rust crates published through crates.io

    zksecurity/advisory-db’s past year of commit activity
    0 463 0 0 Updated Feb 27, 2026