Benedikt Wagner 83da3807ab

EIP7594: Do universal verification in verify_cell_kzg_proof_batch() (#3812) ...

* restructure verify_cell_kzg_proof_batch a bit

* first draft of universal verification equation

* add one more empty line to make linter happy

* make linter happy

* more testcases for verify_cell_kzg_proof_batch

* verify_cell_kzg_proof_batch: derive coefficient via hash

* rename verify_cell_kzg_proof_batch_challenge -> compute_verify_cell_kzg_proof_batch_challenge

* verify_cell_kzg_proof_batch: editorial + some refactoring

* Improve documentation and variable naming.

* remove k_i from code and doc

---------

Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>

2024-06-28 18:02:20 +03:00

..

das-core.md

Remove proof parameter from recover_cells_and_kzg_proofs (#3819)

2024-06-27 14:17:14 -05:00

fork.md

Misc fix

2024-04-27 12:11:29 +08:00

p2p-interface.md

Fix table.

2024-05-17 17:47:38 +03:00

polynomial-commitments-sampling.md

EIP7594: Do universal verification in verify_cell_kzg_proof_batch() (#3812)

2024-06-28 18:02:20 +03:00