Runtime Verification Audits Tinyman

less than 1 minute read


Runtime Verification announced Tinyman’s audit completioni, which was an effort I’ve had the pleasure of leading. Tinyman is a new project under development that focuses on bringing a decentralized trading protocol to the Algorand ecosystem and its community.

Read the article here.