Skip to content
Change the repository type filter

All

    Repositories list

    • zkDatabase, a distributed off-chain database with ZK prover
      TypeScript
      Apache License 2.0
      103993Updated Oct 15, 2024Oct 15, 2024
    • The Parity Polkadot Blockchain SDK
      Rust
      667000Updated Oct 14, 2024Oct 14, 2024
    • TypeScript
      Apache License 2.0
      0001Updated Oct 10, 2024Oct 10, 2024
    • Smart Contracts of Orochi Network's projects
      TypeScript
      Apache License 2.0
      0601Updated Oct 10, 2024Oct 10, 2024
    • Orochi Network's playground and experiment
      Rust
      Apache License 2.0
      1102Updated Oct 9, 2024Oct 9, 2024
    • Orochi Network monorepo of its full-node client
      Rust
      Apache License 2.0
      186483Updated Oct 8, 2024Oct 8, 2024
    • Zero-Knowledge Proof Cookbook
      TeX
      Creative Commons Zero v1.0 Universal
      6601Updated Oct 8, 2024Oct 8, 2024
    • halo2

      Public
      Rust
      Other
      494000Updated Oct 8, 2024Oct 8, 2024
    • This is the development repository for the OpenFHE library. The current (stable) version is v1.2.1 (released on September 10, 2024).
      C++
      BSD 2-Clause "Simplified" License
      188000Updated Sep 26, 2024Sep 26, 2024
    • All Orochi Smart Contract
      Solidity
      Apache License 2.0
      1000Updated Aug 8, 2024Aug 8, 2024
    • The proof systems used by Mina
      Rust
      Apache License 2.0
      93000Updated Jul 12, 2024Jul 12, 2024
    • Nova

      Public
      Nova: Recursive SNARKs without trusted setup
      Rust
      MIT License
      184100Updated Jun 27, 2024Jun 27, 2024
    • framework

      Public archive
      TypeScript framework for general purpose
      TypeScript
      Apache License 2.0
      0000Updated Apr 25, 2024Apr 25, 2024
    • sdk

      Public archive
      Orochi SDK
      TypeScript
      Apache License 2.0
      0100Updated Apr 1, 2024Apr 1, 2024
    • remix

      Public
      Solidity
      Apache License 2.0
      0000Updated Mar 20, 2024Mar 20, 2024
    • naruto

      Public
      Naruto is an implementation of RAMenPaSTA https://eprint.iacr.org/2024/336
      Apache License 2.0
      1100Updated Mar 16, 2024Mar 16, 2024
    • orochi-multicast.ts

      Public archive
      Multicast interface
      TypeScript
      Apache License 2.0
      0200Updated Mar 13, 2024Mar 13, 2024
    • orochi-multicast

      Public archive
      An alternative of multicall.js
      TypeScript
      Apache License 2.0
      0000Updated Mar 13, 2024Mar 13, 2024
    • o1js

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      Apache License 2.0
      115000Updated Dec 13, 2023Dec 13, 2023
    • 12000Updated Dec 7, 2023Dec 7, 2023
    • Web3 Foundation Grants Program
      JavaScript
      Apache License 2.0
      2k000Updated Nov 7, 2023Nov 7, 2023
    • Repository to submit finished milestones
      Apache License 2.0
      522000Updated Oct 16, 2023Oct 16, 2023
    • EIPs

      Public
      The Ethereum Improvement Proposal repository
      Solidity
      Creative Commons Zero v1.0 Universal
      5.3k000Updated Oct 16, 2023Oct 16, 2023
    • Lasso

      Public
      The lookup singularity. Based on Spartan; built on Arkworks.
      Rust
      MIT License
      138100Updated Sep 14, 2023Sep 14, 2023
    • zkWASM

      Public archive
      Verifiable WebAssembly Run-time Environment implement in Rust
      Rust
      Apache License 2.0
      1700Updated Aug 9, 2023Aug 9, 2023
    • snarkyjs

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      Apache License 2.0
      115000Updated Jul 11, 2023Jul 11, 2023
    • wasmi

      Public
      WebAssembly (Wasm) interpreter.
      Rust
      Apache License 2.0
      282200Updated Apr 4, 2023Apr 4, 2023
    • A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
      MIT License
      2000Updated Apr 4, 2023Apr 4, 2023
    • Middleware to compile Circom circuits to Nova prover
      JavaScript
      MIT License
      50000Updated Apr 3, 2023Apr 3, 2023
    • zator

      Public
      Verifying a 512-layer CNN w/ recursive SNARKs
      Circom
      13000Updated Mar 22, 2023Mar 22, 2023