Banri

Banri is a co-founder of Nyx Foundation whose research interests include formal verification, Lean, Ethereum and cryptography.

4 talks by Banri

• Post Quantum Ethereum and its Signature Schemes [EN] [Ethereum Protocol Day]
• 【DEPCON】【第2部後半】Ethereumにおける乱数とその未来
• 【DEPCON】【第3部】Ethereumの10年後に向けて何ができるか(パネルディスカッション)
• 【Uzumaki勉強会】RANDAOに関する新提案とその方向性