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…Apr 26, 2019Apr 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…Apr 26, 2019Apr 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…Mar 28, 2019Mar 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…Mar 14, 2019Mar 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…Mar 14, 2019Mar 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…Jan 8, 20191Jan 8, 20191
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…Oct 21, 2018Oct 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…Oct 21, 2018Oct 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…Oct 20, 2018Oct 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-d94ae8802be2Jul 10, 2018Jul 10, 2018