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/ivory-rtverification
Runtime verification for C code via a GCC plugin architecture.
xgaozoyoe/keccak
SHA-3 Keccak implementation in C.