zero-knowledge technology

[monperrus]

Zero-knowledge: a16zcrypto.com/zero-knowledge-canon

[monperrus]

Noir is a domain specific language for zero knowledge proofs

• repo https://github.com/noir-lang/noir
• paper https://medium.com/aztec-protocol/introducing-noir-the-universal-language-of-zero-knowledge-ff43f38d86d9
• example code: https://github.com/vezenovm/simple_shield/blob/master/circuits/src/main.nr

from https://github.com/KTH/programmable-society/issues/1#issuecomment-1353099017

[monperrus]

Circom: zksnark circuit compiler and its ecosystem of tools allows you to create, test and create zero knowledge proofs for your circuits. https://docs.circom.io/ https://github.com/iden3/circom

Circom: A Circuit Description Language for Building Zero-Knowledge Applications TDSC 2023 http://ieeexplore.ieee.org/document/10002421

[monperrus]

ZoKrates is a toolbox for zkSNARKs on Ethereum. https://github.com/Zokrates/ZoKrates cc/ @thecodingshrimp

[monperrus]

wasmsnark A fast zkSnark proof generator written in native Web Assembly. https://github.com/iden3/wasmsnark

cc/ @Jacarte

[bbaudry]

Never trust, always verify: A multivocal literature review on current knowledge and research gaps of zero-trust

[monperrus]

Circomspect, static analyzer and linter for Circom DSL https://blog.trailofbits.com/2023/03/21/circomspect-static-analyzer-circom-more-passes/ https://github.com/trailofbits/circomspect

[monperrus]

UniRep is a private and non-repudiable reputation system. Users can receive positive and negative reputation from attesters, and voluntarily prove that they have at least certain amount of reputation without revealing the exact amount. Moreover, users cannot refuse to receive reputation from an attester.

https://github.com/Unirep/Unirep

[monperrus]

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto. https://github.com/0xPARC/zk-bug-tracker

[monperrus]

Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks https://github.com/EYBlockchain/nightfall
⚡ solidity --> zApp transpiler ⚡ https://github.com/EYBlockchain/starlight

[monperrus]

Zinc - a language to write zero-knowledge circuits and ZKP-based smart contracts. By Matter Labs.

[monperrus]

bellman: zkSNARK library with Ethereum's BN256 support, focusing solely on the PLONK proof system https://github.com/matter-labs/bellman

[monperrus]

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. https://github.com/ConsenSys/gnark