Runtime Verification audits Blockswap’s Stakehouse protocol

Audit scope

  • Registering a KNOT (a validator in the protocol).
  • Reporting an increase in a KNOT’s balance in the Beacon Chain due to validator rewards or a decrease due to penalties (and minting or slashing the corresponding tokens).
  • Moving a KNOT between indices.
  • Withdrawing or depositing dETH into the open index.
  • Topping up SLOT that has been slashed by paying ETH.
  • Recovering a KNOT’s signing key.
  • Rage-quitting a KNOT, enabling the staked ETH for withdrawal.



About Blockswap

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.