Staking Verification Memo for Engineer Designed Systems (PDF)