Skip to content

@zksecurity zkSecurity

Change the repository type filter

All

    Repositories list

    49 repositories

    • mina-guard

      Public
      MultiSig Wallet for the Mina Network
      TypeScript
      •
      MIT License
      •1•1•3•3•Updated Apr 23, 2026Apr 23, 2026

    • noname

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

    • zkbugs

      Public
      Reproduce ZKP vulnerabilities
      Circom
      •
      MIT License
      •37•326•5•10•Updated Apr 22, 2026Apr 22, 2026

    • zkbugs-website

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

    • ragu

      Public
      Rust language proof-carrying data framework
      Rust
      •
      Apache License 2.0
      •16•1•0•3•Updated Apr 21, 2026Apr 21, 2026

    • zkhydra

      Public
      Run ZK circuit security tools
      Python
      •
      MIT License
      •0•5•2•2•Updated Apr 17, 2026Apr 17, 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•8•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•9•0•0•Updated Apr 1, 2026Apr 1, 2026

    • halo2-course

      Public
      A course on Halo2 in collaboration with Zircuit
      Rust
      •3•35•1•0•Updated Mar 30, 2026Mar 30, 2026

    • pi-mono

      Public
      AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
      TypeScript
      •
      MIT License
      •4.5k•2•0•0•Updated Mar 27, 2026Mar 27, 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•5•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
      •458•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • stwo-book

      Public
      Rust
      •3•11•1•0•Updated Feb 20, 2026Feb 20, 2026

    • sumcheck-formalization

      Public
      Lean
      •
      Apache License 2.0
      •0•3•0•0•Updated Feb 18, 2026Feb 18, 2026

    • sagemath-ts

      Public
      sagemath in pure typescript
      TypeScript
      •0•0•0•0•Updated Feb 9, 2026Feb 9, 2026

    • sumcheck-optimized-sagemath

      Public
      Sage
      •
      MIT License
      •0•0•0•0•Updated Nov 23, 2025Nov 23, 2025

    • zkvm-benchmarks

      Public
      Comprehensive benchmarking and performance tracking for leading zkVMs
      Rust
      •2•1•3•0•Updated Nov 13, 2025Nov 13, 2025

    • sigma-proof-compiler

      Public
      Rust
      •1•0•0•1•Updated Oct 19, 2025Oct 19, 2025

    • mina-attestations

      Public
      Private Attestations for Mina wallets
      TypeScript
      •
      Apache License 2.0
      •6•16•8•1•Updated Sep 24, 2025Sep 24, 2025

    • timing-notebook

      Public
      Tutorial on timing side-channels as a Python notebook
      Jupyter Notebook
      •0•0•0•0•Updated Sep 19, 2025Sep 19, 2025

    • stwo

      Public
      Rust
      •
      Apache License 2.0
      •174•0•0•1•Updated Sep 11, 2025Sep 11, 2025

    • stone-cli

      Public
      stone-cli is a CLI for proving and verifying Cairo programs.
      Rust
      •
      Apache License 2.0
      •8•25•3•2•Updated Aug 7, 2025Aug 7, 2025

    • integrity-calldata-generator

      Public
      Rust
      •
      Apache License 2.0
      •12•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • integrity

      Public
      Cairo STARK proof verifier for Starknet
      Cairo
      •
      Apache License 2.0
      •25•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • cairo-bootloader

      Public
      Cairo bootloader port for the Rust Cairo VM.
      Rust
      •
      Apache License 2.0
      •9•0•0•1•Updated Jun 2, 2025Jun 2, 2025

    • cairo-vm

      Public
      cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, wh…
      Rust
      •
      Apache License 2.0
      •222•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • clean-backend

      Public
      wip
      Rust
      •0•0•0•0•Updated Jun 2, 2025Jun 2, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.