Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

https://github.com/sec-bit/libsnark_abc

Minimal examples to use libsnark.

example libsnark tutorial

Last synced: 01 Aug 2024