Benoit RognierDeveloping a Dapp on TezosThis article presents a simple Dapp developed as a POC for the blockchain workgroup at Cap digital (the main French business cluster).Jan 9, 2020Jan 9, 2020
Benoit RognierArchetype: on the road to v1In the previous articles, we presented the Archetype language and explained how to use Archetype to verify a smart contract.Dec 13, 2019Dec 13, 2019
Benoit RognierinCoinmonksVerify a smart contract with ArchetypeArchetype is a simple high-level language to develop Smart Contracts on the Tezos blockchain. It enables to formally verify contracts by…Nov 5, 2019Nov 5, 2019
Benoit RognierinCoinmonksArchetype, a DSL for TezosArchetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on the formal…Aug 1, 2019Aug 1, 2019