Wentao Xiao's repositories
ZKFixedPointChip
ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2
halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
halo2-zk-wasm
😇 halo2 🦀 Rust based 🔐 Zero-Knowledge proving system with no trusted setup, that compiles to WASM 🕸️
circomlibjs
Javascript library to work with circomlib circuits
ffjavascript
Finite Field Library in Javascript
halo2-base64
Base64 decoding circuit in halo2
halo2-dynamic-sha256
SHA256 verification circuit in halo2 supporting dynamic length input.
halo2-lib-wasm
WASM benchmarking of halo2-lib circuits
halo2-regex
Library and gadget to do regex string matches in halo2
num-bigint-sgx
Big integer types for Rust
ref_thread_local.rs
A macro for declaring thread-local `static`s like using both of `lazy_static!` and `RefCell`
simple-hyper-server-tls
Simplify initialization TLS for Hyper server
TensorRT-For-YOLO-Series
tensorrt for yolo series (YOLOv8, YOLOv7, YOLOv6....), nms plugin support
Town-Crier
Town Crier: an Authenticated Data Feeds for Smart Contracts
yasna.rs-sgx
ASN.1 library for Rust
YOLOv8-TensorRT
YOLOv8 using TensorRT accelerate !