Skip to content

@zksecurity zkSecurity

Change the repository type filter

All

    Repositories list

    62 repositories

    • proof-tool

      Public
      Proof tool webapp for proving ownership of public key from master private key.
      Go
      •
      Apache License 2.0
      •3•0•0•2•Updated Aug 20, 2026Aug 20, 2026

    • relay

      Public
      Content-addressed sync for MPC ceremony transcripts (S3/R2). Transport only: never part of the ceremony trust boundary.
      Go
      •0•0•0•1•Updated Aug 20, 2026Aug 20, 2026

    • zkbugs

      Public
      Reproduce ZKP vulnerabilities
      Circom
      •
      MIT License
      •40•344•5•4•Updated Aug 19, 2026Aug 19, 2026

    • CompPoly

      Public
      Computable Polynomials in Lean.
      Lean
      •
      Apache License 2.0
      •40•0•0•0•Updated Aug 18, 2026Aug 18, 2026

    • comppoly-rabin-replay-repro

      Public
      Minimal resource-bounded reproduction of the CompPoly Rabin cold-replay pathology
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 18, 2026Aug 18, 2026

    • mina-guard

      Public
      MultiSig Wallet for the Mina Network
      TypeScript
      •
      MIT License
      •2•1•0•3•Updated Aug 17, 2026Aug 17, 2026

    • caliper

      Public
      A Lean DSL for reasoning about "real-world" running time
      Lean
      •0•0•0•0•Updated Aug 16, 2026Aug 16, 2026

    • pi-mono

      Public
      AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
      TypeScript
      •
      MIT License
      •12k•2•0•0•Updated Aug 14, 2026Aug 14, 2026

    • zkvmBlast

      Public
      Fuzz test ZKVMs
      Rust
      •
      MIT License
      •0•2•0•0•Updated Aug 10, 2026Aug 10, 2026

    • zk-golf-challenges

      Public
      The public challenges on zk-golf
      Lean
      •2•5•0•0•Updated Aug 8, 2026Aug 8, 2026

    • zkao-sdk

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Aug 5, 2026Aug 5, 2026

    • sagemath-ts

      Public
      sagemath in pure typescript
      TypeScript
      •0•0•0•0•Updated Aug 4, 2026Aug 4, 2026

    • zkbugs-website

      Public
      Website for the zkbugs project (https://github.com/zksecurity/zkbugs)
      JavaScript
      •1•1•0•0•Updated Aug 4, 2026Aug 4, 2026

    • zk-skills

      Public
      ZKSecurity's open-source AI-skills for pre-auditing ZK circuits
      Python
      •
      MIT License
      •4•10•0•0•Updated Aug 3, 2026Aug 3, 2026

    • bulletproofs-formal-verification

      Public
      Formal verification of knowledge soundness for Generalized Bulletproofs
      Lean
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Jul 15, 2026Jul 15, 2026

    • clean-orchard

      Public
      Formally verified source-conformant port of the Zcash Orchard circuit to Clean
      Lean
      •0•2•0•0•Updated Jul 14, 2026Jul 14, 2026

    • zkhydra

      Public
      Run ZK circuit security tools
      Python
      •
      MIT License
      •3•6•2•1•Updated Jul 13, 2026Jul 13, 2026

    • riscv-seeds-lab

      Public
      Assembly
      •0•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • tamarin-llm

      Public
      0•0•0•0•Updated May 11, 2026May 11, 2026

    • ragu

      Public
      Rust language proof-carrying data framework
      Rust
      •
      Apache License 2.0
      •22•1•0•2•Updated Apr 30, 2026Apr 30, 2026

    • noname

      Public archive
      Noname: a programming language to write zkapps
      circuitzero-knowledgekimchi
      circuitzero-knowledgekimchizkapps
      Rust
      •78•232•89•17•Updated Apr 22, 2026Apr 22, 2026

    • mina-explorer

      Public
      Mina block explorer with lightnet/devnet/mainnet support
      TypeScript
      •0•1•0•0•Updated Apr 2, 2026Apr 2, 2026

    • leanPython

      Public
      Python interpreter written in Lean4?
      Lean
      •
      Other
      •0•11•8•0•Updated Apr 1, 2026Apr 1, 2026

    • simple-rbr-fri

      Public
      Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"
      Lean
      •
      Apache License 2.0
      •1•11•0•0•Updated Apr 1, 2026Apr 1, 2026

    • halo2-course

      Public
      A course on Halo2 in collaboration with Zircuit
      Rust
      •4•36•1•1•Updated Mar 30, 2026Mar 30, 2026

    • vibenote

      Public
      Markdown notes, backed with Git. Vibe-coded ✌️
      TypeScript
      •1•1•25•4•Updated Mar 6, 2026Mar 6, 2026

    • flatn

      Public
      Python package for the flatter lattice reduction library
      Python
      •
      GNU General Public License v3.0
      •0•6•1•0•Updated Mar 2, 2026Mar 2, 2026

    • secp256kfun

      Public
      A pure-rust secp256k1 library optimised for fun
      Rust
      •
      BSD Zero Clause License
      •34•0•0•0•Updated Mar 2, 2026Mar 2, 2026

    • advisory-db

      Public
      Security advisory database for Rust crates published through crates.io
      Other
      •525•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • stwo-book

      Public
      Rust
      •3•11•1•0•Updated Feb 20, 2026Feb 20, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.