status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

multi -> batch

This commit is contained in:
Dankrad Feist 2023-02-14 21:21:46 +00:00
parent c3cb7fa773
commit 4086a09d0f
No known key found for this signature in database
GPG Key ID: 6815E6A20BEBBABA
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
specs/deneb/polynomial-commitments.md
View File

@ -36,12 +36,12 @@
- [`blob_to_kzg_commitment`](#blob_to_kzg_commitment) - [`blob_to_kzg_commitment`](#blob_to_kzg_commitment)
- [`verify_kzg_proof`](#verify_kzg_proof) - [`verify_kzg_proof`](#verify_kzg_proof)
- [`verify_kzg_proof_impl`](#verify_kzg_proof_impl) - [`verify_kzg_proof_impl`](#verify_kzg_proof_impl)
- [`verify_kzg_proof_multi`](#verify_kzg_proof_multi) - [`verify_kzg_proof_batch`](#verify_kzg_proof_batch)
- [`compute_kzg_proof`](#compute_kzg_proof) - [`compute_kzg_proof`](#compute_kzg_proof)
- [`compute_kzg_proof_impl`](#compute_kzg_proof_impl) - [`compute_kzg_proof_impl`](#compute_kzg_proof_impl)
- [`compute_blob_kzg_proof`](#compute_blob_kzg_proof) - [`compute_blob_kzg_proof`](#compute_blob_kzg_proof)
- [`verify_blob_kzg_proof`](#verify_blob_kzg_proof) - [`verify_blob_kzg_proof`](#verify_blob_kzg_proof)
- [`verify_blob_kzg_proof_multi`](#verify_blob_kzg_proof_multi) - [`verify_blob_kzg_proof_batch`](#verify_blob_kzg_proof_batch)
<!-- END doctoc generated TOC please keep comment here to allow auto update --> <!-- END doctoc generated TOC please keep comment here to allow auto update -->
<!-- /TOC --> <!-- /TOC -->
@ -83,7 +83,7 @@ Public functions MUST accept raw bytes as input and perform the required cryptog
| - | - | | - | - |
| `FIELD_ELEMENTS_PER_BLOB` | `uint64(4096)` | | `FIELD_ELEMENTS_PER_BLOB` | `uint64(4096)` |
| `FIAT_SHAMIR_PROTOCOL_DOMAIN` | `b'FSBLOBVERIFY_V1_'` | | `FIAT_SHAMIR_PROTOCOL_DOMAIN` | `b'FSBLOBVERIFY_V1_'` |
| `RANDOM_CHALLENGE_KZG_MULTI_DOMAIN` | `b'RCKZGMULTI___V1_'` | | `RANDOM_CHALLENGE_KZG_BATCH_DOMAIN` | `b'RCKZGBATCH___V1_'` |
### Crypto ### Crypto
@ -383,10 +383,10 @@ def verify_kzg_proof_impl(commitment: KZGCommitment,
]) ])
``` ```
#### `verify_kzg_proof_multi` #### `verify_kzg_proof_batch`
```python ```python
def verify_kzg_proof_multi(commitments: Sequence[KZGCommitment], def verify_kzg_proof_batch(commitments: Sequence[KZGCommitment],
zs: Sequence[BLSFieldElement], zs: Sequence[BLSFieldElement],
ys: Sequence[BLSFieldElement], ys: Sequence[BLSFieldElement],
proofs: Sequence[KZGProof]) -> bool: proofs: Sequence[KZGProof]) -> bool:
@ -400,7 +400,7 @@ def verify_kzg_proof_multi(commitments: Sequence[KZGCommitment],
# r just has to be random. # r just has to be random.
degree_poly = int.to_bytes(FIELD_ELEMENTS_PER_BLOB, 8, ENDIANNESS) degree_poly = int.to_bytes(FIELD_ELEMENTS_PER_BLOB, 8, ENDIANNESS)
num_commitments = int.to_bytes(len(commitments), 8, ENDIANNESS) num_commitments = int.to_bytes(len(commitments), 8, ENDIANNESS)
data = RANDOM_CHALLENGE_KZG_MULTI_DOMAIN + degree_poly + num_commitments data = RANDOM_CHALLENGE_KZG_BATCH_DOMAIN + degree_poly + num_commitments
# Append all inputs to the transcript before we hash # Append all inputs to the transcript before we hash
for commitment, z, y, proof in zip(commitments, zs, ys, proofs): for commitment, z, y, proof in zip(commitments, zs, ys, proofs):
@ -498,10 +498,10 @@ def verify_blob_kzg_proof(blob: Blob,
return verify_kzg_proof_impl(commitment, evaluation_challenge, y, proof) return verify_kzg_proof_impl(commitment, evaluation_challenge, y, proof)
``` ```
#### `verify_blob_kzg_proof_multi` #### `verify_blob_kzg_proof_batch`
```python ```python
def verify_blob_kzg_proof_multi(blobs: Sequence[Blob], def verify_blob_kzg_proof_batch(blobs: Sequence[Blob],
commitments_bytes: Sequence[Bytes48], commitments_bytes: Sequence[Bytes48],
proofs_bytes: Sequence[Bytes48]) -> bool: proofs_bytes: Sequence[Bytes48]) -> bool:
""" """
@ -522,5 +522,5 @@ def verify_blob_kzg_proof_multi(blobs: Sequence[Blob],
ys.append(evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge)) ys.append(evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge))
proofs.append(bytes_to_kzg_proof(proof_bytes)) proofs.append(bytes_to_kzg_proof(proof_bytes))
return verify_kzg_proof_multi(commitments, evaluation_challenges, ys, proofs) return verify_kzg_proof_batch(commitments, evaluation_challenges, ys, proofs)
``` ```