Yes, SMT also opens up the gateway to advanced smart-contracts, which is obviously not a trivial gain.
You are viewing a single comment's thread from:
Yes, SMT also opens up the gateway to advanced smart-contracts, which is obviously not a trivial gain.