Assertion: zen protocol | /r/HasProperty | new type of blockchain
Facets:
value: with a contracting language in f*.
type: OTHER
Source sentences:
text: Zen Protocol is a new type of blockchain, written from scratch in F#, with a contracting language in F*.