mesh-security-sdk
mesh-security-sdk copied to clipboard
Check invariants
Placeholder What can we check to ensure integrity in the module? For example
- Sum of delegated virtual_stake <= used staking value # slashing may reduce the stake