Creating structures for aggregated FRI. #329
Conversation
martun
force-pushed
the
328-add-structures-for-aggregated-fri
branch
from
1de666d to
9e2e92d
Compare
| }; | ||
|
|
||
| // Represents a round proof, which must be created just once on the main prover. | ||
| struct round_proof_type { |
There was a problem hiding this comment.
fri_proof_type maybe?
We use round_proof term twice. Once it is a thing that is done by the main prover, and second time is a part of round_proofs_batch_type
It will be easy fri_proof contains
fri_round_proof(s)fri_commitments_proof_part
| @@ -421,6 +523,60 @@ namespace nil { | |||
| eval_storage_type z; | |||
| typename basic_fri::proof_type fri_proof; | |||
| }; | |||
|
|
|||
| // Represents an initial proof, which must be created for each of the N provers. | |||
| struct initial_proof_type { | |||
There was a problem hiding this comment.
Maybe lpc_proof_type? Name looks like FRI initial proof.
We run lpc once for each prover and this proof will contain all information that is recieve from one ordinary prover.
- z
- initial_fri_proof(s)
| } | ||
|
|
||
| eval_storage_type z; | ||
| typename basic_fri::initial_proofs_batch_type initial_fri_proof; |
There was a problem hiding this comment.
Maybe initial_fri_proofs? There are many of them
| } | ||
|
|
||
| // We have a single round proof for checking that F(X) is a low degree polynomial. | ||
| typename basic_fri::round_proofs_batch_type fri_round_proof; |
There was a problem hiding this comment.
Maybe fri_round_proofs? Just for clarification. There are many of them.
| } | ||
|
|
||
| // We have a single round proof for checking that F(X) is a low degree polynomial. | ||
| round_proof_type round_proofs; |
There was a problem hiding this comment.
fri_proof_type fri_proof -- yes, we have only one for all provers
| round_proof_type round_proofs; | ||
|
|
||
| // For each prover we have an initial proof. | ||
| std::vector<initial_proof_type> intial_proofs_per_prover; |
There was a problem hiding this comment.
std::vector<lpc_proof_type> lpc_proofs_per_prover -- vector size is similar to provers amount
martun
force-pushed
the
328-add-structures-for-aggregated-fri
branch
from
eceb419 to
b1df848
Compare
martun
force-pushed
the
328-add-structures-for-aggregated-fri
branch
2 times, most recently
from
49ef6ba to
033ecd8
Compare
martun
force-pushed
the
328-add-structures-for-aggregated-fri
branch
from
033ecd8 to
d87d7e7
Compare
No description provided.