Harmony's Open Development

/

Keyless Social Wallets via One-Time-Passwords (OTP Authenticator)

/

Integration & Security Bounties

/

formal verification

formal verification

Examples

mechnican checks with Coq or Runtime Verification's K; strong type system with noninterference guarantee