search

privacy-scaling-explorations / mpz

Multi-party computation libraries written in Rust 🦀
214 stars 44 forks source link

Add QuickSilver with io #182

Open xiangxiecrypto opened 2 months ago

xiangxiecrypto commented 2 months ago

The current PR implements the QuickSliver protocol with IO. But still some optimizations are needed.

  1. The FS transformation is not accurate, the transcripts in the ideal functionalities are not included.
  2. In the protocol, the prover needs to send a bit per AND gate to the verifier, we should optimize it.
  3. Heavy operations can be optimized. E.g., computing the powers of Block and inner product between two long Block vectors.
xiangxiecrypto commented 2 months ago

Do you want me to merge #174 #172 #171 to this PR for you to review? @sinui0