Skip to content

@aoraki-labs Aoraki Labs

Change the repository type filter

All

    Repositories list

    24 repositories

    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      •
      Apache License 2.0
      •424•0•0•0•Updated Sep 2, 2024Sep 2, 2024

    • halo2_device_sample

      Public
      Some reference code for halo2 hardware (GPU, etc.) acceleration
      Rust
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • halo2_profiling

      Public
      halo2 benchmark and profiling tool
      Python
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • panda

      Public
      An open-source GPU library for accelerating Zero-Knowledge-Proof(ZKP)
      Cuda
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • zkpool-doc

      Public
      JavaScript
      •1•0•0•1•Updated May 10, 2024May 10, 2024

    • zkpool-prover

      Public
      Rust
      •
      GNU Affero General Public License v3.0
      •4•6•1•1•Updated Apr 8, 2024Apr 8, 2024

    • taiko-prover-core

      Public
      fork from taiko zkevm-chain
      Rust
      •52•1•0•0•Updated Mar 26, 2024Mar 26, 2024

    • zkevm-circuits

      Public
      Rust
      •857•0•0•0•Updated Mar 21, 2024Mar 21, 2024

    • zkpool-demo-requestor

      Public
      Rust
      •0•0•0•0•Updated Feb 18, 2024Feb 18, 2024

    • zkpool-demo-relayer

      Public
      Rust
      •0•0•0•0•Updated Feb 18, 2024Feb 18, 2024

    • halo2wrong

      Public
      Rust
      •87•0•0•0•Updated Jan 23, 2024Jan 23, 2024

    • zkspv-circuits

      Public
      orbiter prover service
      Rust
      •6•0•0•0•Updated Jan 3, 2024Jan 3, 2024

    • zkpool-protocol

      Public
      Solidity
      •1•0•0•0•Updated Dec 19, 2023Dec 19, 2023

    • taiko-plug-in-prover

      Public
      Rust
      •0•0•0•0•Updated Dec 14, 2023Dec 14, 2023

    • taiko-prover-contract

      Public
      Taiko IProver Implementation: using arbitrary erc20 token as the proving reward.
      Solidity
      •0•0•0•0•Updated Oct 16, 2023Oct 16, 2023

    • taiko-data-pipeline

      Public
      Code base for taiko dashboard data pipeline.
      Python
      •
      MIT License
      •0•3•0•0•Updated Sep 26, 2023Sep 26, 2023

    • proof-market-price-model

      Public
      Python
      •0•0•0•0•Updated Sep 8, 2023Sep 8, 2023

    • rand_test

      Public
      Python
      •0•0•0•0•Updated Aug 15, 2023Aug 15, 2023

    • aoraki-hiveos

      Public
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 25, 2023Jun 25, 2023

    • proof-aggregation

      Public
      An example of aggregating multiple onchain proofs into one to reduce verification fee.
      Rust
      •0•3•3•0•Updated May 18, 2023May 18, 2023

    • proof-aggregation-contract

      Public archive
      POC smart contract for proof aggregation service.
      TypeScript
      •0•0•1•0•Updated May 14, 2023May 14, 2023

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 22, 2023Apr 22, 2023

    • maze

      Public
      Rust
      •0•0•0•0•Updated Apr 14, 2023Apr 14, 2023

    • taiko-client

      Public
      Taiko protocol's client software implementation in Go. 🔧
      Go
      •
      MIT License
      •333•0•0•0•Updated Mar 24, 2023Mar 24, 2023