You may have heard of zk-SNARKs, the mathematical black magic enabling you, under certain conditions, to…
OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While…