Pinned Repositories
aoraki-hiveos
halo2_device_sample
Some reference code for halo2 hardware (GPU, etc.) acceleration
panda
An open-source GPU library for accelerating Zero-Knowledge-Proof(ZKP)
proof-aggregation
An example of aggregating multiple onchain proofs into one to reduce verification fee.
proof-aggregation-contract
POC smart contract for proof aggregation service.
taiko-data-pipeline
Code base for taiko dashboard data pipeline.
taiko-prover-contract
Taiko IProver Implementation: using arbitrary erc20 token as the proving reward.
taiko-prover-core
fork from taiko zkevm-chain
zkpool-protocol
zkpool-prover
Aoraki Labs's Repositories
aoraki-labs/zkpool-prover
aoraki-labs/taiko-data-pipeline
Code base for taiko dashboard data pipeline.
aoraki-labs/proof-aggregation
An example of aggregating multiple onchain proofs into one to reduce verification fee.
aoraki-labs/taiko-prover-core
fork from taiko zkevm-chain
aoraki-labs/aoraki-hiveos
aoraki-labs/halo2_device_sample
Some reference code for halo2 hardware (GPU, etc.) acceleration
aoraki-labs/halo2wrong
aoraki-labs/panda
An open-source GPU library for accelerating Zero-Knowledge-Proof(ZKP)
aoraki-labs/proof-aggregation-contract
POC smart contract for proof aggregation service.
aoraki-labs/taiko-prover-contract
Taiko IProver Implementation: using arbitrary erc20 token as the proving reward.
aoraki-labs/zkevm-circuits
aoraki-labs/zkpool-demo-relayer
aoraki-labs/zkpool-demo-requestor
aoraki-labs/zkpool-doc
aoraki-labs/zkpool-protocol
aoraki-labs/halo2_profiling
halo2 benchmark and profiling tool
aoraki-labs/maze
aoraki-labs/proof-market-price-model
aoraki-labs/rand_test
aoraki-labs/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
aoraki-labs/snark-verifier
aoraki-labs/taiko-client
Taiko protocol's client software implementation in Go. 🔧
aoraki-labs/taiko-plug-in-prover
aoraki-labs/zkspv-circuits
orbiter prover service