My guests today are DC Posch and Nalin Bhardwaj, co-founders of Daimo. Daimo is a stablecoin focused iOS wallet built with Passkeys and AA Smart Accounts. On this episode, DC, Nalin, and I discuss their new p256Verifier contract, which is an audited Solidity implementation of p256r1 verification. We discuss the ins-and-outs of gas optimized onchain p256 verification, compare their contract to the FreshCryptoLib implementation, and consider the limitations of precomputation. We cover EIP-7212, which DC and Nalin co-authored alongside the team from Clave, and discuss Daimo's exciting proposal for progressive precompiles, also known as precompile shadowing, which would allow precompiles to elegantly replace the p256Verifier, on chains where it is adopted. It was fantastic learning from DC and Nalin who are experts working at the intersection of WebAuthn cryptography and blockchain. I hope you enjoy the show. As always, this show is provided as entertainment and does not constitute legal, financial, or tax advice or any form of endorsement or suggestion. Crypto has risks and you alone are responsible for doing your research and making your own decisions. If you value Web3 Galaxy Brain and would like to support the show, please send me a tweet or DM saying why you listen and what makes Web3 Galaxy Brain special for you. I'll post the best testimonies to the show's website. Thank you! Links

Hosted by @nnnnicholas
Sign up for the Daimo beta
Daimo
Daimo Github
DC Posch
Nalin Bhardwaj
EthUniversity
Hack Lodge
Solidity Summit
p256Verifier and Github and Daimo's blog
Progressive precompiles (aka Precompile shadowing)
FreshCryptoLib
WebAuthn Halo2
WebAuthn Circom
ZK Sync Era's p256 precompile
Awesome WebAuthn
Dogan_Eth's State of Verifying p256
Veridise audit

Chapters

(00:00:00) Intro

(00:01:37) How DC and Nalin met: EthUniversity and Hack Lodge (00:03:40) Decentralization and permissionlessness

(00:05:57) What is Daimo

(00:08:30) Advantages of Smart Contract Accounts

(00:12:55) Passkeys and Enclave Keys

(00:16:25) Trusted execution environments and firmware updates (00:19:55) Apple binaries and reproducible APKs

(00:24:30) Self-custody UX

(00:25:58) Why p256 (secp256r1)?

(00:28:20) ECDSA vs ZK

(00:31:10) Renaud Dubois & FreshCryptoLib’s p256 implementation vs Daimo’s p256Verifier

(00:36:50) Wycheproof test vectors

(00:38:00) CPU style optimization for EVM cryptography (00:39:40) Precomputation, or not

(00:44:10) EIP-7212

(00:49:05) Progressive Precompiles (aka Precompile shadowing) (00:54:00) EVM equivalence and p256

(01:00:05) Veridise audit

(01:02:00) Daimo's forthcoming Base64 encoder

(01:03:40) Daimo cross-chain stablecoin wallets

(01:06:00) Getting Daimo

Get top tips on how to pass the WSET L3 tasting exam Part 1