Skip to content

@zksecurity ZkSecurity

Change the repository type filter

All

    Repositories list

    34 repositories

    • noname

      Public
      Noname: a programming language to write zkapps
      circuitzero-knowledgekimchizkapps
      Rust
      •68•218•89•11•Updated Aug 22, 2025Aug 22, 2025

    • stwo-book

      Public
      Rust
      •2•6•0•2•Updated Aug 21, 2025Aug 21, 2025

    • stwo

      Public
      Rust
      •
      Apache License 2.0
      •149•0•0•1•Updated Aug 13, 2025Aug 13, 2025

    • zkvm-benchmarks

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

    • stone-cli

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

    • mina-attestations

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

    • flatn

      Public
      Python package for the flatter lattice reduction library
      Makefile
      •
      GNU General Public License v3.0
      •0•0•1•0•Updated Jun 24, 2025Jun 24, 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
      •7•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
      •193•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
      •149•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

    • zkbugs-website

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

    • zkbugs

      Public
      Reproduce ZKP vulnerabilities
      Circom
      •
      MIT License
      •29•248•2•1•Updated Feb 14, 2025Feb 14, 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
      •45•0•0•0•Updated Jan 21, 2025Jan 21, 2025

    • halo2-course

      Public
      A course on Halo2 in collaboration with Zircuit
      Rust
      •2•31•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

    • pumice

      Public
      An API compatible port of the Stone prover.
      Rust
      •2•19•0•5•Updated Nov 4, 2024Nov 4, 2024

    • wasmati

      Public
      Write low-level WebAssembly, from JavaScript
      webassemblywasm
      TypeScript
      •
      MIT License
      •6•226•4•0•Updated Oct 31, 2024Oct 31, 2024

    • o1js

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      •
      Apache License 2.0
      •159•0•0•0•Updated Oct 25, 2024Oct 25, 2024

    • stark-evm-adapter

      Public
      Adapt your STARK stone proofs for verifications on Ethereum
      annotationsevmstarkstone-prover
      Rust
      •3•17•2•0•Updated Oct 2, 2024Oct 2, 2024