Zk-SNARKs, FreeTON and OCamlPro

You may have heard of zk-SNARKs, the mathematical black magic enabling you, under certain conditions, to…

Debugging Free TON Smart Contracts with the ‘ft’ Multi-Account Wallet

An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy

[Interview] Sylvain Conchon joins OCamlPro

On April 2020, Sylvain Conchon joined us as Chief…

2019 at OCamlPro

OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly…

New version of Try OCaml in beta!

We are happy to announce that our venerable “Try Ocaml” service is being retired and replaced by a…

Liquidity Tutorial: A Game with an Oracle for Random Numbers

A Dune Love story: From Liquidity to Love

Writing smart contacts may often be a burdensome task, as you need to learn a new language for each blockchain you target. In the Dune Network team, we are willing to provide as many possibilities as possible for developers to thrive in an accessible and…