xgaozoyoe

zkWasm-Rust-Demo

demoing a possible issue

zkWasm-prover

okx specific zkwasm prover

bls12_381

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

rust-web3-block-transactions-tutorial

zkWasm

for of zkWasm

anemoi-rust

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

clireproduce

coq-smt-check

Invoke SMT solvers from Coq to check obligations

delphinus-zkc-protocol

ivory-rtverification

Runtime verification for C code via a GCC plugin architecture.

keccak

SHA-3 Keccak implementation in C.

agenda

Lightweight job scheduling for Node.js

bytes-reducer

helper functions for bytes & Field stuff

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

jubjub

Implementation of the Jubjub elliptic curve group

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

rustrie

zktrie implementation in rust

simulationjs

simulation engine

verkle-tree-circuit

zkNotebook

My personal notebook for various zk-related topics