Would love to connect about blockchain and formal verification. For business, partnership, and mediainquiries, please contact me at daryl [dot] hok [at] certik.org