Commit 7f8307e4 authored by David Declerck's avatar David Declerck
Browse files

Update 2020_06_09_a-dune-love-story-from-liquidity-to-love.md

parent 74b3403e
Pipeline #15499 failed with stages
in 6 minutes and 44 seconds
......@@ -7,7 +7,7 @@ tags=
<!-- [![Liquidity & Love](assets/img/liq-love-1.png "A Dune Love story: From Liquidity to Love")](https://www.ocamlpro.com/2020/06/09/a-dune-love-story-from-liquidity-to-love/) -->
<div align="center">
<a href="https://www.ocamlpro.com/2020/06/09/a-dune-love-story-from-liquidity-to-love/">
<img width="1200" height="1200" alt="Liquidity & Love" title="A Dune Love story: From Liquidity to Love" src="assets/img/liq-love-1.png">
<img width="900" height="900" alt="Liquidity & Love" title="A Dune Love story: From Liquidity to Love" src="assets/img/liq-love-1.png">
</a>
</div>
......@@ -33,13 +33,13 @@ For all these reasons, we are pleased to announce a wedding: Liquidity now suppo
![Liquidity & Love](assets/img/liq-love-2.png)
Liquidity now supports generating Love smart contracts
*Liquidity now supports generating Love smart contracts*
This is great news for Love, as Liquidity is easier to use, and comes with an online web editor, [Try-Liquidity](https://www.liquidity-lang.org/edit/). Liquidity is also being targeted by the [ConCert project](https://arxiv.org/pdf/1907.10674.pdf), aiming at **verifying smart contracts** with the formal verification framework Coq.
![Dune Languages](dune-compilers.png)
![Dune Languages](assets/img/dune-compilers.png)
The Smart Contract Framework on the Dune Network
*The Smart Contract Framework on the Dune Network*
Compiling contracts from Liquidity to Love has several benefits compared to Michelson. First, Love contracts are about 60% smaller than Michelson contracts, hence they are **60% cheaper** to deploy. Also, the compiler outputs a Love contract that can be easily read and audited.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment