LiuJiazheng
Professional on distributed system and database. Keen on functional programming and formalization.
San Jose, California, United States
Pinned Repositories
storage-contracts-v1
zkWasm
C0-Compiler
A course project based on a undergraduate complier course
continuation-batcher
customizable halo2 circuits batcher, forked from DelphniusLab
dingir-exchange
A high performance crypto trading engine
ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
EthResearch
Forked from Ethereum research
LiuJiazheng.github.io
BLog
Machine-Learning-based-on-Stanford-cs299
This is a court-based project. Main material and data are coming from standard CS299, by Prof. Ng.
stark101
LiuJiazheng's Repositories
LiuJiazheng/Machine-Learning-based-on-Stanford-cs299
This is a court-based project. Main material and data are coming from standard CS299, by Prof. Ng.
LiuJiazheng/stark101
LiuJiazheng/C0-Compiler
A course project based on a undergraduate complier course
LiuJiazheng/LiuJiazheng.github.io
BLog
LiuJiazheng/continuation-batcher
customizable halo2 circuits batcher, forked from DelphniusLab
LiuJiazheng/dingir-exchange
A high performance crypto trading engine
LiuJiazheng/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
LiuJiazheng/EthResearch
Forked from Ethereum research
LiuJiazheng/GAMES102
Geometry Processing
LiuJiazheng/go-to-wasm-example
LiuJiazheng/halo2
A forked pse halo2
LiuJiazheng/go
The Go programming language -- customized for zkWASM
LiuJiazheng/halo2-gpu-specific
Forked from Delpinus Lab
LiuJiazheng/halo2-research
Ideas related to ZKP and Halo2
LiuJiazheng/neptune
Rust Poseidon implementation.
LiuJiazheng/Nova
Research on Nova
LiuJiazheng/optimism
Optimism is Ethereum, scaled.
LiuJiazheng/os-r
An toy operation system for risc-v using rust.
LiuJiazheng/plonk
A pure Rust PLONK implementation using arkworks as a backend, orginally from ZkGarage
LiuJiazheng/r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
LiuJiazheng/rCore_tutorial
Tutorial for rCore OS step by step
LiuJiazheng/rust-host-keccak256
LiuJiazheng/SQN
A New Stochastic Gradient Method Using Hessian Matrix
LiuJiazheng/talent-plan
PingCAP training courses
LiuJiazheng/tinygo
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
LiuJiazheng/zkWasm-rust
rust sdk for zkWasm