search

okx / proof-of-reserves

MIT License
41 stars 30 forks source link

Optimize fri domain evaluation #22

Open Jason-LI2020 opened 10 months ago

Jason-LI2020 commented 10 months ago
  1. Add sum check in user's validator;
  2. Add consistence check of sum_proof_root and inclusion_proof_root in user's validator;
  3. Add sum trace constraint in circuit;
  4. Precompute domain and zerofiers to reduce calculation;
  5. Replace keccak by blake2s;
  6. Optimize fri domain evaluation;
  7. Reduce the proving time by roughly 15% comparing with last version.