New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.

Formal verification of EIP 4844

Name: Formal verification of EIP 4844
Uploaded: 2023-11-13T06:52:00.000Z
Duration: 15 min 59 s
Description: Talk by Thanh Hai Tran at Secureum TrustX (Secureum), Nov 2023.

Secureum TrustX SecureumMon, Nov 13, 2023, 06:52 AM · 15:59

Download

Speaker

Thanh Hai Tran

No description