Skip to content
@zksecurity

ZkSecurity

README.md

Hi there 👋

We are experts in zero-knowledge proofs and cryptography in general. We perform audits, development work, due diligence, research, etc.

Check our blog for more information!

Pinned Loading

  1. wasmati wasmati Public

    Write low-level WebAssembly, from JavaScript

    TypeScript 220 6

  2. noname noname Public

    Noname: a programming language to write zkapps

    Rust 207 59

  3. zkBank zkBank Public

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

    Go 116 22

  4. stark-book stark-book Public

    STARK book

    CSS 20 1

  5. zkbugs zkbugs Public

    Reproduce ZKP vulnerabilities

    Circom 48 1

  6. halo2-course halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    Rust 22 2

Repositories

Showing 10 of 29 repositories
  • flatn Public

    Python package for the flatter lattice reduction library

    zksecurity/flatn’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Feb 16, 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 13 Apache-2.0 4 4 2 Updated Feb 14, 2025
  • mina-attestations Public

    Private Attestations for Mina wallets

    zksecurity/mina-attestations’s past year of commit activity
    TypeScript 11 Apache-2.0 3 9 2 Updated Feb 14, 2025
  • zkbugs-website Public

    Website for the zkbugs project (https://github.com/zksecurity/zkbugs)

    zksecurity/zkbugs-website’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 14, 2025
  • zkbugs Public

    Reproduce ZKP vulnerabilities

    zksecurity/zkbugs’s past year of commit activity
    Circom 48 MIT 1 2 1 Updated Feb 14, 2025
  • stwo-book Public
    zksecurity/stwo-book’s past year of commit activity
    0 0 0 0 Updated Feb 14, 2025
  • stwo Public Forked from starkware-libs/stwo
    zksecurity/stwo’s past year of commit activity
    Rust 0 Apache-2.0 114 0 4 Updated Feb 12, 2025
  • pallad Public Forked from palladians/pallad

    Progressive Mina Protocol Wallet

    zksecurity/pallad’s past year of commit activity
    TypeScript 0 Apache-2.0 13 0 0 Updated Feb 12, 2025
  • integrity-calldata-generator Public Forked from HerodotusDev/integrity-calldata-generator
    zksecurity/integrity-calldata-generator’s past year of commit activity
    Rust 0 Apache-2.0 12 0 0 Updated Feb 5, 2025
  • integrity Public Forked from HerodotusDev/integrity

    Cairo STARK proof verifier for Starknet

    zksecurity/integrity’s past year of commit activity
    Cairo 0 Apache-2.0 25 0 0 Updated Feb 5, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…