Closed
Milestone
Feb 8, 2023–Mar 1, 2023
Crypto for DAL
Motivation
Objective: Robust crypto infrastructure
Key Result: Crypto for DAL is complete
The Data Availability Layer crucially depends on the cryptographic primitives to be completed. The purpose of this project is to complete this part of the DAL project by providing a robust and relevant set of primitives.
Scope
Design documents
https://hackmd.io/@julien-c-nl/rJKFI90qs
Work breakdown
-
Complete legacy backlog -
Complete !7920 (merged) -
Add bounds checks on indices !7630 (merged) -
Check shards' length !7643 (merged)
-
-
bls-polynomial is moved into tezos/tezos
!7638 (merged) -
The cryptographic protocol is documented and specified -
The design document is moved to the appropriate location -
Code is correctly documented to be understood with no external context !7645 (merged), !7661 (merged), !7716 (merged), !7757 (merged) !7782 (merged) -
Unit tests document expected properties for functions (pre/post conditions, invariants) !7711 (merged)
-
-
All low-hanging fruits to optimize and improve code are included -
Code is robust to low-level misusage (e.g. ill-formed encodings) -
Code is fully covered by unit tests
-
-
Implementation respects its specification -
Integration tests give confidence in the correctness of the cryptographic protocol implementation
-