Discussion about this post

User's avatar
Z. Michael Akins's avatar

The verification liability may be the most important entry in the entire ledger. Separating the generator from the grader is essential, but the next step is making that separation enforceable at the execution boundary—so prohibited actions are not merely detected or reviewed, but prevented from completing.

No posts

Ready for more?