Stars
A formal verification of Linear PCP SNARKs.
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
Generative Flow Networks - GFlowNet
A modular, easy to extend GFlowNet library
A collection of AI Agents papers (Updated biweekly)
Code powering the CourseTable website
A curated list of zkVM, zero-knowledge virtual machine
Formally Verified Arguments of Knowledge in Lean
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.
🏎️ A curated list of Aleo & Leo code and resources 🏎️
A curated list of awesome zkEVM resources, libraries, tools and more
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Empowering everyone to build reliable and efficient software.
LaTeX beamer poster template themed for the University of Oxford
A curated list of awesome ZK resources, libraries, tools and more.
Performance and security acceleration for zkVMs.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Overview of the formal verification projects in the Ethereum ecosystem.
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
《专 业 团 队》🕺🏿 🕺🏿 🕺🏿 🕺🏿 ⚰️🕺🏿 🕺🏿 🕺🏿 🕺🏿 | 专治 CSDN 广告与各种灵魂打击 | 🐵 油猴脚本 | TamperMonkey | Chrome | FireFox | CSDN 页面浮窗广告完全过滤净化 | 国服最强 CSDN 绿化脚本
担心输入法泄露隐私？此项目可以一键建立网络防火墙，阻止搜狗输入法使用网络
Fully featured, open source, privacy friendly email app for Android
A collection of resources on modern C++