10000 ZkSecurity · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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 216 62

  3. zkBank zkBank Public

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

    Go 153 34

  4. stark-book stark-book Public

    STARK book

    CSS 20 1

  5. zkbugs zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 221 23

  6. halo2-course halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 22 2

Repositories

Showing 10 of 31 repositories
  • stwo-book Public
    zksecurity/stwo-book’s past year of commit activity
    4 1 10 3 Updated May 14, 2025
  • stwo Public Forked from starkware-libs/stwo
    zksecurity/stwo’s past year of commit activity
    Rust 0 Apache-2.0 133 0 2 Updated May 14, 2025
  • .github Public
    zksecurity/.github’s past year of commit activity
    0 0 0 0 Updated Apr 28, 2025
  • noname Public

    Noname: a programming language to write zkapps

    zksecurity/noname’s past year of commit activity
    Rust 216 62 89 10 Updated Apr 24, 2025
  • stwo-webgpu Public Forked from starkware-libs/stwo
    zksecurity/stwo-webgpu’s past year of commit activity
    Rust 0 Apache-2.0 133 0 0 Updated Mar 30, 2025
  • mina-attestations Public

    Private Attestations for Mina wallets

    zksecurity/mina-attestations’s past year of commit activity
    TypeScript 13 Apache-2.0 5 9 1 Updated Mar 28, 2025
  • flatn Public

    Python package for the flatter lattice reduction library

    zksecurity/flatn’s past year of commit activity
    Makefile 0 GPL-3.0 0 1 0 Updated Mar 27, 2025
  • zkbitcoin Public

    zkBitcoin: zero-knowledge proofs on Bitcoin!

    zksecurity/zkbitcoin’s past year of commit activity
    Rust 5 MIT 1 1 0 Updated Mar 27, 2025
  • RFCs Public

    Cryptography RFCs related to Zero-Knowledge Proofs

    zksecurity/RFCs’s past year of commit activity
    Python 8 0 2 0 Updated Mar 6, 2025
  • stone-cli Public

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

    zksecurity/stone-cli’s past year of commit activity
    Rust 19 Apache-2.0 5 3 1 Updated Feb 17, 2025

Top languages

Loading…

Most used topics

Loading…

0