Finished Checks the Transcript
A lightweight execution-visualization book.
Hash the Transcript
Ordered Values
Hash Covers Order
Shared Secret Joins
Check Finished
Client Finished
Server Finished
Honesty Boundary