Open dbosk opened 4 years ago
Focus on the high-level properties, similarly to how an ideal functionality is used in the UC framework.
Focus on the high-level properties, similarly to how an ideal functionality is used in the UC framework.