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

  2. noname noname Public

    Noname: a programming language to write zkapps

    Rust 215 66

  3. zkBank zkBank Public

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

    Go 161 37

  4. stark-book stark-book Public

    STARK book

    CSS 20 1

  5. zkbugs zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 225 25

  6. halo2-course halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 25 2

Repositories

Showing 10 of 32 repositories

Top languages

Loading…

Most used topics

Loading…