Lists (4)
Stars
21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
Spartan: High-speed zkSNARKs without trusted setup
IELTS guide and Cambridge English authentic examination papers (4-15, A+G) for programmers. 程序员雅思备考指南+剑雅4-15真题（A类+G类）全套。
Libraries for finite field, elliptic curve, and polynomial arithmetic
A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
A Rust library for the Marlin preprocessing zkSNARK
Java library for distributed zero knowledge proof systems
articles, codes and tools all about zero-knowledge proofs
Prototype implementations of various Collaborative zkSNARKs.
A pure-Rust implementation of Bulletproofs using Ristretto.
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
huyuguang / libsnark
Forked from scipr-lab/libsnarkC++ library for zkSNARKs
Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (id…
A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
Protecting cryptographic signing keys and seed secrets with Multi-Party Computation.
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).