zero-knowledge technology about programmable-society HOT 12 OPEN

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

from programmable-society.

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

cc/ @Jacarte

from programmable-society.

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 #1 (comment)

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.

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

from programmable-society.