xgaozoyoe Goto Github PK

agenda

Lightweight job scheduling for Node.js

anemoi-rust

A Rust implementation of the Anemoi hash function by Bouvier et al.

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

bytes-reducer

helper functions for bytes & Field stuff

clireproduce

coq-smt-check

Invoke SMT solvers from Coq to check obligations

delphinus-zkc-protocol

ec-gpu

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

halo2-fri-gadget

A FRI verifier circuit for the Halo2 proof system

halo2-gpu-specific

zkwasm-halo2-icecle

halo2curves

fork for no-std

host-tac

ivory-rtverification

Runtime verification for C code via a GCC plugin architecture.

jubjub

Implementation of the Jubjub elliptic curve group

keccak

SHA-3 Keccak implementation in C.

manta-rs

Rust Crates for the Manta Network Ecosystem

noble-bls12-381

Fastest JS implementation of BLS12-381. Auditable, secure, 0-dependency aggregated signatures & pairings

plonkish

plonkish_basefold

rust-web3-block-transactions-tutorial

rustrie

zktrie implementation in rust

simulationjs

simulation engine

verkle-tree-circuit

zknotebook

My personal notebook for various zk-related topics

zkwasm

for of zkWasm

zkwasm-prover

okx specific zkwasm prover

zkwasm-rust-demo

demoing a possible issue