Popular repositories Loading

1. Blockchain-based-Privacy-preserving-Fair-Data-Trading-Protocol Blockchain-based-Privacy-preserving-Fair-Data-Trading-Protocol Public

   The smart contract for Blockchain-based Privacy-preserving Fair Data Trading Protocol

   Solidity 7

2. PriBankGo PriBankGo Public

   An implmentation for PriBank core algorithm in Go

   Go 3 2

3. Tamarin-code-for-HTLC-verification Tamarin-code-for-HTLC-verification Public

   1

4. Crypto-incentives-for-PROMs Crypto-incentives-for-PROMs Public

   Solidity 1

5. stwo-MLE-myexample stwo-MLE-myexample Public

   Forked from starkware-libs/stwo

   write my own example of using the MLEcomponent to run a prover using logup-gkr

   Rust 1

6. MYzksnark MYzksnark Public

   learn libsnark

   C++