2020

• A Dune Love story: From Liquidity to Love
• A Solidity parser in OCaml with Menhir

2019

• Blockchains @ OCamlPro: an Overview
• Release : Liquidity version 1.0 !
• Announcing Liquidity version 1.0
• Release de Techelson, moteur de tests pour Michelson et Liquidity
• Techelson, a test execution engine for Michelson
• Signing Data for Smart Contracts
• Optimisation du stockage dans Tezos : une branche de test sur Gitlab
• Improving Tezos Storage : Gitlab branch for testers
• Tezos et OCamlPro
• Improving Tezos Storage : update and beta-testing
• Tezos and OCamlPro
• Improving Tezos Storage

2018

• An Introduction to Tezos RPCs: Signing Operations
• Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple
• An Introduction to Tezos RPCs: a Basic Wallet
• First Open-Source Release of TzScan
• Liquidity Tutorial: A Game with an Oracle for Random Numbers
• OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release
• OCamlPro’s Tezos block explorer TzScan’s last updates
• Taskforce on the Tezos Protocol, and TzScan evolution
• New updates on TzScan
• Release of a first version of TzScan, a Tezos block explorer
• OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language

Articles on Blockchains

By OCamlPro & Origin Labs 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 secure framework. T... (Read more)

This article is cross-posted on Origin Labs’ Dune Network blog We are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs, the company dedicated to blockchain challenges, to implement a full interpreter for the Solidity... (Read more)

OCamlPro started working on blockchains in 2014, when Arthur Breitman came to us with an initial idea to develop the Tezos ledger. The idea was very challenging with a lot of innovations. So, we collaborated with him to write a specification, and to turn the specification into OCaml code. Since then... (Read more)

Nous sommes fiers d'annoncer la release de la première version majeure de Liquidity, le langage de smart contracts et son outillage. Parmi les fonctions phares : multiples points d'entrée, système de contrats modulaire, polymorphisme et inférence de type, syntaxe ReasonML pour une plus grande ad... (Read more)

Liquidity version 1.0 We are pleased to announce the release of the first major version of the Liquidity smart-contract language and associated tools. Some of the highlights of this version are detailed below. Multiple Entry Points In the previous versions of Liquidity, smart contracts were limited ... (Read more)

Nous sommes fiers d’annoncer la première release de Techelson, moteur d’exécution de tests pour Michelson. Les programmeurs Liquidity peuvent également l’utiliser. Voir Techelson, a test execution engine for Michelson.... (Read more)

We are pleased to announce the first release of Techelson, available here. Techelson is a Test Execution Engine for Michelson. It aims at testing functional properties of Michelson smart contracts. Make sure to check the user documentation to get a sense of Techelson's workflow and features. For Liq... (Read more)

Smart contracts calls already provide a built-in authentication mechanism as transactions (i.e. call operations) are cryptographically signed by the sender of the transaction. This is a guarantee on which programs can rely. However, sometimes you may want more involved or flexible authentication sch... (Read more)

Ce troisième article consacré à l’amélioration du stockage dans Tezos fait suite à l’annonce de la mise à disposition d’une image docker pour les beta testeurs souhaitant essayer notre système de stockage et garbage collector. Voir Improving Tezos Storage : Gitlab branch for testers... (Read more)

This article is the third post of a series of posts on improving Tezos storage. In our previous post, we announced the availability of a docker image for beta testers, wanting to test our storage and garbage collector. Today, we are glad to announce that we rebased our code on the latest version of ... (Read more)

Tezos est aujourd’hui un projet open source, un réseau international développé par des équipes sur plus de cinq continents. Dans la genèse du projet, l’entreprise française OCamlPro, qui développe encore aujourd’hui de nombreux projets liés à Tezos (TZscan, Liquidity, etc.), a joué u... (Read more)

In a previous post, we presented some work that we did to improve the quantity of storage used by the Tezos node. Our post generated a lot of comments, in which upcoming features such as garbage collection and pruning were introduced. It also motivated us to keep working on this (hot) topic, and we ... (Read more)

A reflection on the new year... Today, Tezos is a global network and an open source project with developers spanning over five continents. In the inception of this project, the French company OCamlPro which, to this day, stills develops numerous projects around Tezos, played a particularly important... (Read more)

Running a Tezos node currently costs a lot of disk space, about 59 GB for the context database, the place where the node stores the states corresponding to every block in the blockchain, since the first one. Of course, this is going to decrease once garbage collection is integrated, i.e. removing ve... (Read more)

In a previous blogpost, we presented the RPCs used by tezos-client to send a transfer operation to a tezos-node. We were left with two remaining questions: How to forge a binary operation, for signature How to sign a binary operation In this post, we will reply to these questions. We are still assum... (Read more)

Dans cet article technique, nous introduisons brièvement les RPCs dans Tezos à travers un exemple simple montrant comment le client Tezos interagit avec le noeud lors d’une instruction de transfert. Les RPCs de Tezos sont des requêtes HTTP (GET ou POST) auxquelles les noeuds Tezos répondent da... (Read more)

In this technical blog post, we will briefly introduce Tezos RPCs through a simple example: we will show how the tezos-client program interacts with the tezos-node during a transfer command. Tezos RPCs are HTTP queries (GET or POST) to which tezos-node replies in JSON format. They are the only way f... (Read more)

In October 2017, after the Tezos ICO, OCamlPro started to work on a block explorer for Tezos. For us, it was the most important software that we could contribute to the community, after the node itself, of course. We used it internally to monitor the Tezos alphanet, until its official public release... (Read more)

A Game with an oracle In this small tutorial, we will see how to write a chance game on the Tezos blockchain with Liquidity and a small external oracle which provides random numbers. Principle of the game Rules of the game are handled by a smart contract on the Tezos blockchain. When a player decide... (Read more)

Tezos Foundation and OCamlPro joint press release - October 17, 2018 We are pleased to announce that the Tezos Foundation has issued a grant to OCamlPro to support its work on TzScan, a block explorer for the Tezos blockchain that will be made open-source. OCamlPro is a French company and R&D lab, f... (Read more)

OCamlPro is pleased to announce the latest update of TZScan (https://tzscan.io), its Tezos block explorer to ease the use of the Tezos network. TzScan is now ready for the protocol update scheduled for tomorrow. In addition to some minor bugfixes, the main novelties are: Displaying of obtained and e... (Read more)

As we are preparing to work on the Tezos Protocol, we're still actively keeping the pace on the block explorer TZScan.io, adding cool information for baking accounts. We'd like to allow people to see who is contributing to the network and to understand the distribution of rolls, rights, etc. For sta... (Read more)

Update - TZScan.io can now work on top of the zeronet (zeronet.tzscan.io), we hope it can help the developers community monitor the network. You can now switch between the alphanet & zeronet networks! OCamlPro is pleased to announce an update of TzScan (https://tzscan.io), its Tezos block explorer t... (Read more)

OCamlPro is proud to release a first version of TzScan, its Tezos block explorer to ease the use of the Tezos network. What TzScan can do for you : Several charts on blocks, operations, network, volumes, fees, and more, Marketcap and Futures/IOU prices from coinmarket.com, Blocks, operations, accoun... (Read more)

As a tradition, we took part in this year's Journées Francophones des Langages Applicatifs (JFLA 2018) that was chaired by LRI's Sylvie Boldo and hosted in Banyuls the last week of January. That was a nice opportunity to present a live demo of a multisignature smart-contract entirely written in th... (Read more)

2026

• Opam 104: Sharing Your Code

2025

• OCaml Onboarding: Introduction to the Dune build system
• opam 2.4 release
• Opam 103: Bootstrapping a New OCaml Project with opam
• Flambda2 Ep. 4: How to write a purely functional compiler

2024

• opam 2.3.0 release!
• Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans
• Alt-Ergo 2.6 is Out!
• Flambda2 Ep. 3: Speculative Inlining
• opam 2.2.0 release!
• Flambda2 Ep. 2: Loopifying Tail-Recursive Functions
• Fixing and Optimizing the GnuCOBOL Preprocessor
• OCaml Backtraces on Uncaught Exceptions
• Opam 102: Pinning Packages
• Flambda2 Ep. 1: Foundational Design Decisions
• Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap
• Lean 4: When Sound Programs become a Choice
• Opam 101: The First Steps

2023

• Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
• The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!