Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by sec-bit
A curated list of projects in awesome lists by sec-bit .
https://github.com/sec-bit/learning-zkp
articles, codes and tools all about zero-knowledge proofs
Last synced: 01 Aug 2024
https://github.com/sec-bit/zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
confidentiality data-exchange decentralized-internet fair-exchange privacy zero-knowledge-proofs
Last synced: 01 Aug 2024
https://github.com/sec-bit/tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
coq erc20 formal-verification proof token
Last synced: 03 Aug 2024