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 205 57

  3. zkBank zkBank Public

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

    Go 107 18

  4. stark-book stark-book Public

    STARK book

    CSS 21 1

Repositories

Showing 10 of 23 repositories
  • mina-credentials Public

    Private Credentials for Mina wallets

    zksecurity/mina-credentials’s past year of commit activity
    TypeScript 7 Apache-2.0 0 9 5 Updated Dec 20, 2024
  • 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 Dec 20, 2024
  • stone-cli Public

    stone-cli is a CLI for proving and verifying Cairo programs.

    zksecurity/stone-cli’s past year of commit activity
    Rust 5 Apache-2.0 2 0 2 Updated Dec 18, 2024
  • cairo-bootloader Public Forked from Moonsong-Labs/cairo-bootloader

    Cairo bootloader port for the Rust Cairo VM.

    zksecurity/cairo-bootloader’s past year of commit activity
    Rust 0 Apache-2.0 4 0 0 Updated Dec 18, 2024
  • mina-js Public Forked from palladians/mina-js

    Heavy construction

    zksecurity/mina-js’s past year of commit activity
    TypeScript 0 Apache-2.0 2 0 0 Updated Dec 18, 2024
  • stwo Public Forked from starkware-libs/stwo
    zksecurity/stwo’s past year of commit activity
    Rust 0 Apache-2.0 90 0 2 Updated Dec 18, 2024
  • noname Public

    Noname: a programming language to write zkapps

    zksecurity/noname’s past year of commit activity
    Rust 205 57 85 8 Updated Dec 17, 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 156 0 0 Updated Dec 16, 2024
  • stone-prover-sdk Public Forked from Moonsong-Labs/stone-prover-sdk

    Rust library for the Stone prover and verifier.

    zksecurity/stone-prover-sdk’s past year of commit activity
    Rust 0 MIT 1 0 1 Updated Dec 16, 2024
  • halo2-course Public

    A course on Halo2 in collaboration with Zircuit

    zksecurity/halo2-course’s past year of commit activity
    Rust 16 2 0 0 Updated Dec 7, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…