Context

There are three tasks that are identified to finish the cryptographic protocol and its integration in Octez:

1. There is a known security issue allowing a slot producer to post a commitment over data which are twice as big as what is allowed. The fix consist to change the commitment proof to be in G2 instead of G1.
2. A follow-up of %Data-Availibility Layer (DAL): Split the SRS remains to use the SRS verifier in the DAL node depending on the profile
3. We are aware of some limitations regarding the verification time of shards. A way to overcome this issue is to enable verification of shards by batch. Even though its integration within the DAL node is not yet clear, having this primitive will allow us to use it in the future if it is necessary.

Deliverables

• New commitment proof fixing the security issue
• Use the SRS verifier in the DAL node
• Merge a new primitive allowing the verify shards in batch

Work breakdown

• (François/Anne-Laure) (days) Fix the security issue !11922 (merged)
  • (Anne-Laure) (hours) Some-cleanups !11964 (merged)
• (Marc/Anne-Laure) (days) Batch verification !11827 (merged)
• (François/Anne-Laure) (days) Integration of the verifier SRS within the DAL node