Thanh-Hai Tran

Thanh-Hai Tran is an independent researcher. Before that, he was a senior researcher in the Dependable Distributed System team at Consensys. His interests are formal methods, distributed systems, cryptography, and blockchains. He has experience in designing blockchain protocols, applying formal verification techniques in multiple projects, e.g., the Distributed Validator Technology (DVT), the 3-Slot-Finality (3SF) protocol, and the C-KZG library, and developing analysis tools, e.g., APALACHE.

06:10

How model checking can help build trust in the design of distributed protocols like Single Slot Finality

· Nov 15, 2024

Igor Konnov, Thanh-Hai Tran

06:20

How model checking can help build trust in distributed protocols

· Nov 15, 2024

Igor Konnov, Thanh-Hai Tran

05:17

Can we formally verify implementations of cryptographic libraries like the c-kzg library?

· Nov 13, 2024

Thanh-Hai Tran