-
Notifications
You must be signed in to change notification settings - Fork 8
Competition Act
Francois-Rene Rideau edited this page Dec 1, 2021
·
1 revision
Act is a formal specification language for Ethereum smart contracts.
See this release post.
Pros:
- Taking formal verification seriously in the context of a language that can be used to write actual smart contracts.
Cons:
- No notion of several participants in an adversarial relation as in Glow
- No notion of participant client code as in Glow