HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types

no code implementations • 30 Aug 2021 • Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them.

Vocal Bursts Type Prediction