Skip to content

@zksecurity ZkSecurity

Change the repository type filter

All

    Repositories list

    38 repositories

    • vibenote

      Public
      Markdown notes, backed with Git. Vibe-coded ✌️
      TypeScript
      •0•2•23•0•Updated Jan 5, 2026Jan 5, 2026

    • noname

      Public
      Noname: a programming language to write zkapps
      circuitzero-knowledgekimchizkapps
      Rust
      •78•228•89•15•Updated Dec 26, 2025Dec 26, 2025

    • flatn

      Public
      Python package for the flatter lattice reduction library
      Makefile
      •
      GNU General Public License v3.0
      •0•4•1•0•Updated Dec 11, 2025Dec 11, 2025

    • zkbugs-website

      Public
      Website for the zkbugs project (https://github.com/zksecurity/zkbugs)
      JavaScript
      •0•1•0•0•Updated Nov 25, 2025Nov 25, 2025

    • zkbugs

      Public
      Reproduce ZKP vulnerabilities
      Circom
      •
      MIT License
      •37•309•7•0•Updated Nov 25, 2025Nov 25, 2025

    • 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

    • stwo-book

      Public
      Rust
      •3•10•1•1•Updated Oct 23, 2025Oct 23, 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
      •167•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•24•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
      •26•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, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
      Rust
      •
      Apache License 2.0
      •213•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • clean-backend

      Public
      wip
      Rust
      •0•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • zkregex_fuzzer

      Public
      Noir
      •0•2•6•1•Updated May 30, 2025May 30, 2025

    • .github

      Public
      0•0•0•0•Updated Apr 28, 2025Apr 28, 2025

    • stwo-webgpu

      Public
      Rust
      •
      Apache License 2.0
      •167•0•0•0•Updated Mar 30, 2025Mar 30, 2025

    • zkbitcoin

      Public
      zkBitcoin: zero-knowledge proofs on Bitcoin!
      bitcoinzero-knowledge
      Rust
      •
      MIT License
      •1•5•1•0•Updated Mar 27, 2025Mar 27, 2025

    • RFCs

      Public
      Cryptography RFCs related to Zero-Knowledge Proofs
      zero-knowledgerfcs
      Python
      •0•8•2•0•Updated Mar 6, 2025Mar 6, 2025

    • pallad

      Public
      Progressive Mina Protocol Wallet
      TypeScript
      •
      Apache License 2.0
      •17•0•0•0•Updated Feb 12, 2025Feb 12, 2025

    • mina-js

      Public
      Heavy construction
      TypeScript
      •
      Apache License 2.0
      •2•0•0•0•Updated Jan 23, 2025Jan 23, 2025

    • webgpu-poc

      Public
      Rust
      •0•0•0•0•Updated Jan 22, 2025Jan 22, 2025

    • stwo-cairo

      Public
      Cairo
      •55•0•0•0•Updated Jan 21, 2025Jan 21, 2025

    • halo2-course

      Public
      A course on Halo2 in collaboration with Zircuit
      Rust
      •2•35•1•0•Updated Jan 14, 2025Jan 14, 2025

    • stone-prover-sdk

      Public
      Rust library for the Stone prover and verifier.
      Rust
      •
      MIT License
      •2•0•0•1•Updated Dec 16, 2024Dec 16, 2024

    • o1js-bindings

      Public
      Bindings for o1js to lower layers of the proof system and the Mina transaction logic
      JavaScript
      •
      Other
      •13•0•0•0•Updated Nov 19, 2024Nov 19, 2024