Formality Requirements in the Era of Smart Contracts: A Mixed-Methods Analysis of Emerging Challenges | Synapse