Technical Director @Cardano_CF.
Writing strongly typed open source bugs for #Cardano.
My tweets, my opinions.
Jun 14, 2023 β’ 24 tweets β’ 6 min read
Okay, so let's actually do a little recap of what happened on my side in 2023.
Half of the year is already gone and I feel like it just started. Though, seems like a lot happened too.
Let's do this chronologically
π
The beginning of the year was full thrust on @aiken_eng. In case you've missed it (seriously?), that's a new smart contract platform for Cardano geared towards developer experience.
We originally wanted to announce the alpha release back in January but there was a lot to crunch
Mar 5, 2023 β’ 10 tweets β’ 2 min read
I'd like to toss another perspective into the CIP-1694 debate which it seems many folks forget.
The engineering reality.
There's a lot of discussion about what we want as governance but not so much about when we want it. Yet, these dimensions are deeply connected. π
One important thing to keep in mind is that CIP-1694 isn't the end of the story. It isn't proposed as the final governance protocol of Cardano.
Rather, it describes an approachable step that gets us closer to the ideal governance.
And discussions should happen on this basis.
Feb 27, 2023 β’ 11 tweets β’ 3 min read
Time to fly to warm sunny Colorado.
I am glad that @InputOutputHK went for a CIP regarding the first step of evolutions for the protocol.
Yet it seems that the CIP process, its goals and actors are still not well understood. In particular w.r.t CIP-1694
Some clarificationsπ
Let's say it here again clearly:
The CIP process is not a governance mechanism.
CIPs are neither voted, nor are they *decisions*. They are *solutions*.
In the same way that having multiple designs for a car doesn't tell you which one is picked at the end.
Dec 31, 2022 β’ 10 tweets β’ 2 min read
As kindly suggested to me, here's a thread-of-threads, to list past threads I wrote and future ones I'll write.
See it as a "low-effort" blog π
I thought it would be an appropriate way to end this year in retrospective.
In case you wondered, here are some quick clarifications about the infamous 'collaterals' in #Cardano.
There was an interesting conversation I was brought into and thought it could be interesting to turn it into a proper thread.
All you ever wanted to know about collaterals π
With the Alonzo era and the introduction of Plutus scripts was also added a new feature to transactions: collaterals.
In essence, a collateral is an input which is consumed when a script fails to execute in a transaction.
But, aren't scripts supposed to be deterministic?
Nov 25, 2022 β’ 18 tweets β’ 5 min read
Some months ago, I was asked what I thought would be #Cardano "next big thing".
At the time, we only had a vague idea of what Leios was. The recent CIP from Duncan & al has shed some more light on it.
Ouroboros Leios is definitely the most promising L1 upgrade to come
π
The idea behind Leios is (surprisingly) simple. So let's try to make sense of it.
Cardano is a distributed system, where nodes reach consensus by sharing blocks according to a schedule for which they're elected. The more stake they own, the higher the chances of being elected.
Sep 27, 2022 β’ 11 tweets β’ 3 min read
Today was CIP editors meeting #54. We selected a few CIPs related to wallets and dApps integration, and we'll try to keep doing similar themed meetings moving forward.
Here's a summary of what we covered π
An addition to CIP-0030 (github.com/cardano-foundaβ¦) β the wallets β DApps connector, to introduce a new endpoint allowing DApps to retrieve a chain identifier from the wallet. This allows distinguishing between multiple test networks (e.g. preprod vs preview).
Aug 7, 2022 β’ 17 tweets β’ 3 min read
Today is Sunday. Like every Sunday. But today, let's talk about *the mempool*. And more specifically, the Cardano's mempool(s).
Buckle up π
Let's start with a definition: what's a mempool?
It is a virtual buffer of memory where (valid) transactions sit before being inserted in a block.
Every node has one, including those that do not produce any block.
May 28, 2022 β’ 16 tweets β’ 3 min read
The Hard-Fork Combinator (a.k.a HFC): the good, the bad & the ugly.
A tale of software engineering π
With the upcoming Vasil hard-fork, it is time to upgrade existing software to live through it. As many already know, Cardano's secret sauce for such upgrades hides behind something called "The Hard-Fork Combinator".
But, what exactly is that thing?
May 12, 2022 β’ 5 tweets β’ 2 min read
1/5
Situations like this always make me reflect on what I do as a software engineer. I've been working in the FinTech & Blockchain industries for a while now and it's so easy to get something wrong that would then have massive consequences.
Some thoughts...
2/5
Even fully tested and formally verified software might experience issues. More testing and formalism reduces the risk but it's never zero. Plus it often depends on hypotheses you make and hypotheses are hard to formulate when they are intrinsically linked to social behaviors
Jan 15, 2022 β’ 14 tweets β’ 3 min read
Let's talk about transaction finality on Cardano today, because I keep seeing all sort of (wrong) claims on social medias, discord and al. (1/n)
π
Firstly, we need to distinguish two things:
Finality vs Latency;
or as some call it, 'chain confirmation' vs 'transaction confirmation' though I really dislike the term 'confirmation' in this context (there's really no one actively 'confirming' anything).
Nov 17, 2021 β’ 13 tweets β’ 5 min read
It seems like many people in the #Cardano community, builders or not, still don't know about the #CIP!
So let me explain a bit, and quickly dive into some of themππ
1/n
CIP stands for 'Cardano Improvement Proposal' and refers to both a process and a collection of technical solutions to common problems of the Cardano ecosystem.
Proposals take the form of written specification files, hosted in a public code repository:
Rollups are a technical solution to a particular problem: cost of on-chain computation.
Rollups move on-chain computation off-chain, while keeping most of the traffic on chain.
1/n
This is crucial for Ethereum for which on-chain contracts have turned into large and complex programs that are very resource demanding.
Blockchains are *not* general-purpose programming platforms. They do poorly if one tries to execute its entire app logic on it.
2/n
Sep 18, 2021 β’ 10 tweets β’ 2 min read
Perhaps an unpopular opinion but, I truly dislike the wording "smart contracts".
I used to find it confusing when I first got into crypto years ago, but now I dislike it even more in the context of Cardano.
Why?π
Compared to most existing smart-contract platforms, Cardano takes a much different road. Recently, we've seen a lot of discussions going on about "concurrency issues" and "EUTXO vs accounts". While equally expressive, Cardano programmability is different and atypical.
Sep 2, 2021 β’ 26 tweets β’ 5 min read
Ethereum Arbitrum vs #Cardano#Hydra, a thread about Layer 2 solutions.
πππ
With the recent release of Arbitrum on Ethereum, and the upcoming Alonzo hard-fork on Cardano, there has been many discussions and comparisons about layer 2 solutions. As some knows, I've been working on Hydra with a few others for some months now and I want to shed some lights.