Chen Kai's starred repositories
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
usingcli-book
像黑客一样使用命令行
polygon-edge
A Framework for Building Ethereum-compatible Blockchain Networks
bookhunter
A download tools for clawing the ebooks from internets.
r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
bounty-program
Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰
substreams
Powerful Blockchain streaming data engine, based on StreamingFast Firehose technology.
halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
zkvm-ideas
A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
sql-to-dbsp-compiler
Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
excalidraw-cli
Experimental Excalidraw CLI tool
cairo_sierra_2_MLIR
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.