Pinned Loading

1. Polynomial-Commitment-Schemes Polynomial-Commitment-Schemes Public

   Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.

   Isabelle 10

2. kzg kzg Public

   Implementing the KZG according to the original paper in Rust

   Rust

3. Laconic-OT-via-KZG-Vector-Commitments Laconic-OT-via-KZG-Vector-Commitments Public

   An essay on the recent paper by Fleischhacker, Hall-Andersen, and Simkin

4. Challenge_Response_Kiosk Challenge_Response_Kiosk Public

   Extending SUI's Kiosk for a challenge response protocol

   Move 1

5. SMT-based-Formal-Verification-for-Smart-Contracts SMT-based-Formal-Verification-for-Smart-Contracts Public

   A SoK student paper on SMT based formal verification of smart contracts

6. MP-SPDZ-MACI MP-SPDZ-MACI Public

   Forked from data61/MP-SPDZ

   Versatile framework for multi-party computation

   C++ 1