zkp topic

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that...

lambdaclass

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

sismo-core

Confidential Transaction with Collaborative Traceability, zk-zkRollup

0xEigenLabs

Common cryptographic library used in software at Mysten Labs.

MystenLabs

Cairo is the first Turing-complete language for creating provable programs for general computation.

starkware-libs

Cryptography libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案密码学算法组件

WeBankBlockchain

Java SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件通用Java SDK

WeBankBlockchain

A :pencil: literate and test-driven :bug: implementation of ZK-STARKs

actuallyachraf

Bellman zkSNARK library for community with Ethereum's BN256 support

matter-labs

Circuits library for matrix operations in circom

socathie