François-René RideauinHackerNoon.comComposing Contracts without Special Provisions — using Blockchain HistoryOne feature I sorely miss in most existing blockchains is the ability to query the history of the blockchain from within its contract…6 min read·Apr 26, 2019----
François-René RideauinAlacrisComposing Contracts without Special Provisions — using Blockchain HistoryOne feature I sorely miss in most existing blockchains is the ability to query the history of the blockchain from within its contract…6 min read·Apr 26, 2019----
François-René RideauinAlacrisWhy Developing for the Blockchain is Hard Part 2: Computing Proper CollateralMany proposed blockchain solutions use verification games, whether informally as in TrueBit and Plasma, or formally as in Alacris.io. In…7 min read·Mar 28, 2019----
François-René RideauinHackerNoon.comWhy Developing for the Blockchain is Hard Part 2: Computing Proper CollateralMany proposed blockchain solutions use verification games, whether informally as in TrueBit and Plasma, or formally as in Alacris.io. In…7 min read·Mar 14, 2019----
François-René RideauinAlacrisWhy Developing for the Blockchain is Hard — Part 1: Posting TransactionsWe at Alacris.io want application developers to be able to spend their time focusing on the high-level design of their applications, in…8 min read·Mar 14, 2019----
François-René RideauinHackerNoon.comWhy Developing for the Blockchain is Hard — Part 1: Posting TransactionsWe at Alacris.io want application developers to be able to spend their time focusing on the high-level design of their applications, in…8 min read·Jan 8, 2019--1--1
François-René RideauinAlacrisWhat do Formal Methods actually Guarantee?There is a lot of misunderstanding about what formal methods can do — their powers — and what they cannot do — their limitations. Those…5 min read·Oct 21, 2018----
François-René RideauinAlacrisCryptoScalies: Cute Lizards at ScaleIn our previous article, Scaling your dApps with Alacris.io, we gave a technical overview of the Alacris.io architecture. In this article…13 min read·Oct 21, 2018----
François-René RideauinAlacrisScaling your dApps with Alacris.ioYou may have heard how we at Alacris.io are working to scale cryptocurrency payments. And these days, who isn’t? But our technology isn’t…14 min read·Oct 20, 2018----
François-René RideauinLegicashWhat do Formal Methods actually Guarantee?A revised version of this article was published at https://medium.com/alacris/what-do-formal-methods-actually-guarantee-d94ae8802be25 min read·Jul 10, 2018----