Budget

$1M

Funded

Governors

Mandates

Security: promote social recovery & one-time-password authenticators for on-chain fund Impacts: create basic income & wealth from fixed-rate or high-yield investments Adoption: open millions to self-custody assets & collectibles without hardware, password or hack

3-Month Deliverables & Metrics

Toward authenticator-based wallets: client-side encryption security and performance, one-time-password (OTP) Merkle-tree generation and authenticator security. Toward end-to-end formal verification: prove security of Harmony's authenticator-based wallets in Coq, smart contract audits on Horizon bridges for Ethereum and Bitcoin.