Runtime Verification audits Swell Network

Design modelling

Audit scope

  • The “SWNFTUpgrade” smart contract implements all the Swell-specific operations. This smart contract is currently under development, and only a limited number of operations were audited, including stake, deposit, withdraw, depositing swETH into a vault and withdrawing swETH out of a vault.
  • The “SwETH” smart contract is an ERC-20 derivative token that is fully backed by ETH.
  • The “SwDAO” smart contract is the governance token of the Swell Protocol.

Methodology

Results

About Swell Network

About Runtime Verification

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Runtime Verification

Runtime Verification

Runtime Verification Inc. is a technology startup providing cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.