Runtime Verification

Runtime Verification is pleased to announce the Blockswap dETH Gateway audit completion. The dETH Gateway protocol offers users a bridgeless path to any EVM ecosystem for dETH.

blockswap gateway.png

Blockswap

Runtime Verification audits Blockswap’s dETH Gateway

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

Partner: blockswap

Categories