Pinned Repositories
delphinus-ts-sdk
halo2-snark-aggregator
halo2 ecc circuit
bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
coq-smt-check
Invoke SMT solvers from Coq to check obligations
LlamaEdge
The easiest & fastest way to run customized and fine-tuned LLMs locally or on the edge
rust-web3-block-transactions-tutorial
zkWasm-prover
okx specific zkwasm prover
zkWasm-Rust-Demo
demoing a possible issue
daoism-cic
cic for daosim simulator
menhir-lib
menhir library for bs-platform
xgaozoyoe's Repositories
xgaozoyoe/zkWasm-Rust-Demo
demoing a possible issue
xgaozoyoe/zkWasm-prover
okx specific zkwasm prover
xgaozoyoe/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
xgaozoyoe/LlamaEdge
The easiest & fastest way to run customized and fine-tuned LLMs locally or on the edge
xgaozoyoe/rust-web3-block-transactions-tutorial
xgaozoyoe/zkWasm
for of zkWasm
xgaozoyoe/anemoi-rust
A Rust implementation of the Anemoi hash function by Bouvier et al.
xgaozoyoe/clireproduce
xgaozoyoe/coq-smt-check
Invoke SMT solvers from Coq to check obligations
xgaozoyoe/delphinus-zkc-protocol
xgaozoyoe/agenda
Lightweight job scheduling for Node.js
xgaozoyoe/ark-benchmark-r0
Benchmark of arkworks-rs BN254 curve with or without R0 precompile
xgaozoyoe/bytes-reducer
helper functions for bytes & Field stuff
xgaozoyoe/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
xgaozoyoe/halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
xgaozoyoe/halo2-gpu-specific
zkwasm-halo2-icecle
xgaozoyoe/halo2curves
fork for no-std
xgaozoyoe/hashcaster
Frobenius sumcheck for vectorized boolean ops
xgaozoyoe/host-tac
xgaozoyoe/jubjub
Implementation of the Jubjub elliptic curve group
xgaozoyoe/manta-rs
Rust Crates for the Manta Network Ecosystem
xgaozoyoe/noble-bls12-381
Fastest JS implementation of BLS12-381. Auditable, secure, 0-dependency aggregated signatures & pairings
xgaozoyoe/plonkish
xgaozoyoe/plonkish_basefold
xgaozoyoe/rustrie
zktrie implementation in rust
xgaozoyoe/simulationjs
simulation engine
xgaozoyoe/sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
xgaozoyoe/vectorized-fields
Vectorized AVX-512 256-bit arithmetic library
xgaozoyoe/verkle-tree-circuit
xgaozoyoe/zkNotebook
My personal notebook for various zk-related topics