# Formal verification of EIP 4844

- Speakers: [Thanh
Hai Tran](https://streameth.org/speakers/thanh-hai-tran)
- Event: [Secureum TrustX](https://streameth.org/secureum/secureum_trustx), Main Stage Secureum TrustX Istanbul
- Channel: [Secureum](https://streameth.org/secureum)
- Date: 2023-11-13
- Duration: 15:59
- Watch: https://streameth.org/watch/65b8f8cda5b2d09b88ec0f89
- Download: https://vod-cdn.lp-playback.studio/raw/jxf4iblf6wlsyor6526t4tcmtmqa/catalyst-vod-com/hls/d2880tkhgqco3qa0/1080p0.mp4

## About the speakers

### Thanh
Hai Tran

Applied Researcher ConsenSys