From Autonomy of Will to Program Code: Philosophical-Legal and Practical Foundations of Smart Contracts | Synapse