Techelson, a test execution engine for Michelson

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 Liquidity programmers interested in Techelson, take a look at Techelson, a test execution engine for Michelson

Signing Data for Smart Contracts

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 schemes. The ones that rely on signature validity checking can be implemented in Signing Data for Smart Contracts

What’s new for Alt-Ergo in 2018? Here is a recap!

After the hard work done on the integration of floating-point arithmetic reasoning two years ago, 2018 is the year of polymorphic SMT2 support and efficient SAT solving for Alt-Ergo. In this post, we recap the main novelties last year, and we announce the first Alt-Ergo Users’ Club meeting. An SMT2 front-end with prenex polymorphism As What’s new for Alt-Ergo in 2018? Here is a recap!

Improving Tezos Storage : Gitlab branch for testers

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 mainnet-staging, Improving Tezos Storage : Gitlab branch for testers

Tezos and OCamlPro

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 role. Indeed, they were the first home of Tezos and OCamlPro

Improving Tezos Storage

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 very old information, that Improving Tezos Storage

opam 2.0.2 release

We are pleased to announce the release of opam 2.0.2. As sandbox scripts have been updated, don’t forget to run opam init –reinit -ni to update yours. This new version contains mainly backported fixes: Doc: update man page add message for deprecated options reinsert removed ones to print a deprecated message instead of fail (e.g. opam 2.0.2 release

An Introduction to Tezos RPCs: a Basic Wallet

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 for wallets to interact with An Introduction to Tezos RPCs: a Basic Wallet

OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release

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, focused on OCaml OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release

Tags: , , ,

OCamlPro’s Tezos block explorer TzScan’s last updates

OCamlPro is pleased to announce the latest update of TZScan (http://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 expected rewards Adding of internal transactions of OCamlPro’s Tezos block explorer TzScan’s last updates

OCamlPro’s Tezos block explorer TzScan’s last updates

OCamlPro is pleased to announce the latest update of TZScan (http://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 expected rewards Adding of internal transactions of OCamlPro’s Tezos block explorer TzScan’s last updates

Taskforce on the Tezos Protocol, and TzScan evolution

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 starters, we are showing the Taskforce on the Tezos Protocol, and TzScan evolution

OCaml JTRT

This time of the year is, just like Christmas time, a time for laughs and magic… although the magic we are talking about, in the OCaml community, is not exactly nice, nor beautiful. Let’s say that we are somehow akin to many religions: we know magic does exist , but that it is satanic and OCaml JTRT

Release of Alt-Ergo 2.1.0

A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo’s website: https://alt-ergo.ocamlpro.com/#releases. An OPAM package for it will be published soon. In this release, we mainly improved the CDCL-based SAT solver to get performances similar to/better than the old Tableaux-like SAT. The CDCL solver is now the default Boolean reasoner. The full list of Release of Alt-Ergo 2.1.0

New updates on TzScan

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 (http://tzscan.io), its Tezos block explorer to ease the use of the Tezos network. New updates on TzScan

Release of a first version of TzScan, a Tezos block explorer

OCamlPro is proud to release a first version of TzScan (http://tzscan.io), 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, accounts and contracts detail Release of a first version of TzScan, a Tezos block explorer

OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language

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 the #Liquidity language designed at OCamlPro, OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language

OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language

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 the #Liquidity language designed at OCamlPro, OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language

Tags: , , , ,

2017 at OCamlPro

Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCamlPro… Here are our big 2017 achievements, in the world of blockchains (the Liquidity smart contract language, Tezos and the Tezos ICO, etc.), of OCaml (with OPAM 2, flambda 2 etc.), and of formal methods 2017 at OCamlPro

Tags: , , , , , , ,

New opam features: more expressive dependencies

This blog will cover yet another aspect of the improvements opam 2.0 has over opam 1.2. It may be a little more technical than previous issues, as it covers a feature directed specifically at packagers and repository maintainers, and regarding the package definition format. Specifying dependencies in opam 1.2 Opam 1.2 already has an advanced New opam features: more expressive dependencies

New opam features: “opam install DIR”

After the opam build feature was announced followed a lot of discussions, mainly having to do with its interface, and misleading name. The base features it offered, though, were still widely asked for: a way to work directly with the project in the current directory, assuming it contains definitions for one or more packages a New opam features: “opam install DIR”