Shouki Tsuda

Shouki Tsuda researches Ethereum protocols at Nyx Foundation, focusing on formal verification of consensus. They are building Verity, a Lean 4 and Rust consensus client for the Lean Consensus specification.

4 talks by Shouki Tsuda

• hs-libp2p: A Haskell Implementation of the libp2p Stack
• Resilient Networking Hub - Building Resilient Ethereum
• 【DEPCON】【第3部】Ethereumの10年後に向けて何ができるか(パネルディスカッション)
• Programmable Cryptography and Smart Contract by Shouki Tsuda | Devcon SEA