jeanP-zhang's Stars
ethereum/go-verkle
A go implementation of Verkle trees
InternetMaximalism/verkle-tree
Rust implementation for Verkle tree.
didnet/Hades
lambdaclass/pinocchio_lambda_vm
Zero Knowledge Virtual Machine from scratch implementing Pinocchio
holonym-foundation/vole-zk-prover
Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and witnesses.
worldcoin/awesome-zkml
awesome-zkml repository
akosba/xjsnark
A high-level framework for developing efficient zk-SNARK circuits
jplaui/web3knowledge
A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.
w3f/ring-vrf
yanqiangmiffy/Chinese-LangChain
中文langchain项目|小必应,Q.Talk,强聊,QiangTalk
lchen001/LLMDrift
rustcn-org/rust-weekly
Rust语言周刊,每周五发布,精选过去一周的技术文章、业界新闻、开源项目和 Rust 语言动态
ibeatai/beat-ai
<Beat AI> 又名 <零生万物> , 是一本专属于软件开发工程师的 AI 入门圣经,手把手带你上手写 AI。从神经网络到大模型,从高层设计到微观原理,从工程实现到算法,学完后,你会发现 AI 也并不是想象中那么高不可攀、无法战胜,Just beat it !
sunface/rust-course
“连续八年成为全世界最受喜爱的语言,无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,这可能是目前最用心的 Rust 中文学习教程 / Book
edwjchen/Silph
ccfddl/ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
Fraunhofer-AISEC/rabe
rabe is an Attribute Based Encryption library, written in Rust
adria0/awesome-halo2
List of halo2-related resources
summa-dev/summa-solvency
Monorepo for Summa Proof of Solvency Protocol
muclover/pvCNN
该项目实现了隐私保护和可验证的卷积神经网络(CNN)测试,旨在使模型开发者能够在多个测试者提供的非公开数据上向用户证明CNN性能的真实性,同时保护模型和数据的隐私。
iden3/go-iden3-crypto
Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
o1-labs/proof-systems
The proof systems used by Mina
argumentcomputer/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
privacy-scaling-explorations/zkevm-circuits
ddkang/zkml
microsoft/Nova
Nova: High-speed recursive arguments from folding schemes
MinaProtocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
arnaucube/go-snark-study
zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier)
web3-engineer/ZK_in_Art