Cryptographic Paradigms in Trustless Systems: An Analysis of Provably Fair Algorithms, Commit-Reveal Schemes, and User-Side Verification Discrepancies | Synapse