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

Link to dev branch instead of master

This commit is contained in:
Justin Traglia 2023-07-15 14:13:07 +02:00 committed by GitHub
parent 4ddaff5a77
commit 86a147a740
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
specs/_features/whisk/beacon-chain.md
View File

@ -94,7 +94,7 @@ def bytes_to_bls_field(b: Bytes32) -> BLSFieldElement:
### Curdleproofs and opening proofs ### Curdleproofs and opening proofs
Note that Curdleproofs (Whisk Shuffle Proofs), the tracker opening proofs and all related data structures and verifier code (along with tests) is specified in [curdleproofs.pie](https://github.com/nalinbhardwaj/curdleproofs.pie/) repository. Note that Curdleproofs (Whisk Shuffle Proofs), the tracker opening proofs and all related data structures and verifier code (along with tests) is specified in [curdleproofs.pie](https://github.com/nalinbhardwaj/curdleproofs.pie/tree/dev) repository.
```python ```python
def IsValidWhiskShuffleProof(pre_shuffle_trackers: Sequence[WhiskTracker], def IsValidWhiskShuffleProof(pre_shuffle_trackers: Sequence[WhiskTracker],
@ -103,7 +103,7 @@ def IsValidWhiskShuffleProof(pre_shuffle_trackers: Sequence[WhiskTracker],
shuffle_proof: WhiskShuffleProof) -> bool: shuffle_proof: WhiskShuffleProof) -> bool:
""" """
Verify `post_shuffle_trackers` is a permutation of `pre_shuffle_trackers`. Verify `post_shuffle_trackers` is a permutation of `pre_shuffle_trackers`.
Defined in https://github.com/nalinbhardwaj/curdleproofs.pie/blob/master/curdleproofs/curdleproofs/whisk_interface.py. Defined in https://github.com/nalinbhardwaj/curdleproofs.pie/blob/dev/curdleproofs/curdleproofs/whisk_interface.py.
""" """
# pylint: disable=unused-argument # pylint: disable=unused-argument
return True return True
@ -115,7 +115,7 @@ def IsValidWhiskOpeningProof(tracker: WhiskTracker,
tracker_proof: WhiskTrackerProof) -> bool: tracker_proof: WhiskTrackerProof) -> bool:
""" """
Verify knowledge of `k` such that `tracker.k_r_G == k * tracker.r_G` and `k_commitment == k * BLS_G1_GENERATOR`. Verify knowledge of `k` such that `tracker.k_r_G == k * tracker.r_G` and `k_commitment == k * BLS_G1_GENERATOR`.
Defined in https://github.com/nalinbhardwaj/curdleproofs.pie/blob/master/curdleproofs/curdleproofs/whisk_interface.py. Defined in https://github.com/nalinbhardwaj/curdleproofs.pie/blob/dev/curdleproofs/curdleproofs/whisk_interface.py.
""" """
# pylint: disable=unused-argument # pylint: disable=unused-argument
return True return True