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 237 7

  2. zkbugs zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 350 41

  3. noname noname Public archive

    Noname: a programming language to write zkapps

    Rust 232 78

  4. zkBank zkBank Public

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

    Go 221 47

  5. stark-book stark-book Public

    STARK book

    CSS 21 1

  6. halo2-course halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 37 4

Repositories

Showing 10 of 75 repositories
  • CompStark Public

    Fast, formally verified STARK components in Lean 4, benchmarked against Plonky3

    zksecurity/CompStark's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 17, 2026
  • signature-security-lean Public

    Lean formalization of BLS, OOPS, and Proximity signature security, with explicit reductions and model assumptions.

    zksecurity/signature-security-lean's past year of commit activity
    Lean 0 Apache-2.0 1 1 0 Updated Oct 16, 2026
  • zkao-sdk Public
    zksecurity/zkao-sdk's past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Oct 16, 2026
  • pi-mono Public Forked from earendil-works/pi

    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 14,881 0 1 Updated Oct 16, 2026
  • mina-attestations Public

    Private Attestations for Mina wallets

    zksecurity/mina-attestations's past year of commit activity
    TypeScript 16 Apache-2.0 7 8 2 Updated Oct 16, 2026
  • zkao-action Public
    zksecurity/zkao-action's past year of commit activity
    Shell 0 MIT 0 1 0 Updated Oct 16, 2026
  • proximity-prize-submissions-lean434 Public

    Proximity Prize submissions ported to Lean 4.34 and re-verified

    zksecurity/proximity-prize-submissions-lean434's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 14, 2026
  • signatures-formalized Public

    Website for Signatures Formalized: the signature-security-lean formalization and agm-lean

    zksecurity/signatures-formalized's past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Oct 10, 2026
  • agm-lean Public

    Representation-based algebraic group model for Lean 4 and VCVio

    zksecurity/agm-lean's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 10, 2026
  • mina-guard Public

    MultiSig Wallet for the Mina Network

    zksecurity/mina-guard's past year of commit activity
    TypeScript 2 MIT 2 1 2 Updated Oct 9, 2026

Most used topics

Loading…