search

NilFoundation / crypto3-zk

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
MIT License
33 stars 13 forks source link

Review Placeholder preprocessor common_data_type type #85

Open nkaskov opened 2 years ago

nkaskov commented 2 years ago

Related issue: #19

SK0M0R0H commented 2 years ago

common_data_type is supposed to contain common data between the prover and the verifier.

Polynomial Z can be restored on the verifier side as X^rows_amount - 1. lagrange_0 should be stored in the same way as selectors polynomials.