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 218 6

  2. noname noname Public

    Noname: a programming language to write zkapps

    Rust 178 46

  3. zkBank zkBank Public

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

    Go 89 14

  4. stark-book stark-book Public

    STARK book

    CSS 21 1

Repositories

Showing 10 of 17 repositories
  • noname Public

    Noname: a programming language to write zkapps

    zksecurity/noname’s past year of commit activity
    Rust 178 46 75 7 Updated Sep 27, 2024
  • pumice Public

    An API compatible port of the Stone prover.

    zksecurity/pumice’s past year of commit activity
    Rust 16 2 0 4 Updated Sep 26, 2024
  • zkbugs Public

    Reproduce ZKP vulnerabilities

    zksecurity/zkbugs’s past year of commit activity
    Circom 36 MIT 0 8 (4 issues need help) 5 Updated Sep 26, 2024
  • clean Public

    Lean experiments at zksecurity

    zksecurity/clean’s past year of commit activity
    Lean 0 0 0 0 Updated Sep 26, 2024
  • mina-attestations Public
    zksecurity/mina-attestations’s past year of commit activity
    TypeScript 1 Apache-2.0 0 12 1 Updated Sep 26, 2024
  • stark-evm-adapter Public

    Adapt your STARK stone proofs for verifications on Ethereum

    zksecurity/stark-evm-adapter’s past year of commit activity
    Rust 17 4 2 3 Updated Sep 26, 2024
  • stark-book Public

    STARK book

    zksecurity/stark-book’s past year of commit activity
    CSS 21 1 2 0 Updated Sep 25, 2024
  • stone-cli Public

    stone-cli is a CLI for proving Cairo programs and parsing the proofs to be verified on Starknet and Ethereum

    zksecurity/stone-cli’s past year of commit activity
    Rust 2 Apache-2.0 1 3 1 Updated Sep 25, 2024
  • 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 5 0 0 Updated Sep 25, 2024
  • cairo-vm Public Forked from lambdaclass/cairo-vm

    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.

    zksecurity/cairo-vm’s past year of commit activity
    Rust 0 Apache-2.0 144 0 0 Updated Sep 22, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…