jeanP-zhang

jeanP-zhang's Stars

• sunface/rust-course

  “连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

  Language:Rust25.9k1622002.2k

• 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~

  Language:Vue6.4k2283444

• ibeatai/beat-ai

  <Beat AI> 又名 <零生万物> , 是一本专属于软件开发工程师的 AI 入门圣经，手把手带你上手写 AI。从神经网络到大模型，从高层设计到微观原理，从工程实现到算法，学完后，你会发现 AI 也并不是想象中那么高不可攀、无法战胜，Just beat it !

  Language:Handlebars3.5k5014204

• yanqiangmiffy/Chinese-LangChain

  中文langchain项目|小必应，Q.Talk，强聊，QiangTalk

  Language:Python2.7k2456323

• MinaProtocol/mina

  Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

  Language:OCaml2k956.4k528

• worldcoin/awesome-zkml

  awesome-zkml repository

  8293914131

• privacy-scaling-explorations/zkevm-circuits

  Language:Rust81739740857

• rustcn-org/rust-weekly

  Rust语言周刊，每周五发布，精选过去一周的技术文章、业界新闻、开源项目和 Rust 语言动态

  81568622

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust7172346190

• microsoft/Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  Language:Rust6971737122

• argumentcomputer/lurk-beta

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

  Language:Rust4351539157

• o1-labs/proof-systems

  The proof systems used by Mina

  Language:Rust4142766996

• ddkang/zkml

  Language:Rust34613538

• lchen001/LLMDrift

  Language:Jupyter Notebook33316632

• arnaucube/go-snark-study

  zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier)

  Language:Go255121757

• ethereum/go-verkle

  A go implementation of Verkle trees

  Language:Go2161512767

• adria0/awesome-halo2

  List of halo2-related resources

  1884022

• akosba/xjsnark

  A high-level framework for developing efficient zk-SNARK circuits

  Language:JetBrains MPS18583834

• iden3/go-iden3-crypto

  Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib

  Language:Go12261241

• summa-dev/summa-solvency

  Monorepo for Summa Proof of Solvency Protocol

  Language:Rust96316734

• Fraunhofer-AISEC/rabe

  rabe is an Attribute Based Encryption library, written in Rust

  Language:Rust8091522

• jplaui/web3knowledge

  A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.

  67814

• w3f/ring-vrf

  Language:TeX4092817

• lambdaclass/pinocchio_lambda_vm

  Zero Knowledge Virtual Machine from scratch implementing Pinocchio

  Language:Rust37602

• InternetMaximalism/verkle-tree

  Rust implementation for Verkle tree.

  Language:Rust16322

• 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.

  Language:Rust13106

• edwjchen/Silph

  Language:Rust12200

• muclover/pvCNN

  该项目实现了隐私保护和可验证的卷积神经网络（CNN）测试，旨在使模型开发者能够在多个测试者提供的非公开数据上向用户证明CNN性能的真实性，同时保护模型和数据的隐私。

  Language:C++10115

• didnet/Hades

  Language:Circom91

• web3-engineer/ZK_in_Art

  10