Where are these proofs? Where are the definitions? There's barely even pseudocode describing the algorithm. Honest question: have you read cryptography researc

Where are these proofs? Where are the definitions? There's barely even pseudocode describing the algorithm. Honest question: have you read cryptography research papers before?