News for hackers. Stuff that matters.

A comment on Tezos and Ocaml: A self-amending cryptographic ledger. Parent comment

Re:Tezos and Ocaml: A self-amending cryptographic ledger by fuklief on Thursday July 05, 2018 @10:47AM (#17463641)
Considering the close ties of OCaml and Coq, has anyone done some sort of formal verification for Tezos ?
[ Parent | on HN ]
Re:Tezos and Ocaml: A self-amending cryptographic ledger by rdl on Friday July 06, 2018 @09:53AM (#17471364)
The main focus has been on the formal verifiability of smart contracts written in Michelson -- https://www.michelson-lang.com/ I'm checking on Tezos itself.
[ Parent | on HN ]