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.
Enjoy.
๐๐
Today is my first day as Technical Director of Open-Source Development at
@CardanoStiftung
๐ถ
My role? Making
#Cardano
open-source development a reality, bit by bit. I'll be working with
@_dirkhh
and others from the Cardano community to keep the ball rolling;
๐
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?๐
Do people realize that "TPS" really makes no sense if we don't share a common definition of "transaction"?
A transaction with 150 multi-assets outputs is certainly not the same as a single output with one asset. In case we didn't say it enough: TPS ๐ alone ๐ is ๐meaningless.
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
๐
This bottle is on the
#Cardano
blockchain!
It is leveraging transaction metadata to provide complete end-to-end traceability, authenticated by the wine producer.
That's real world utility, right here.
In other news, did you know that Vasil comes with a few changes regarding updatable protocol parameters?
Remember 'd'? The block production decentralization parameter? Well, it's gone.
There's no way back now.
It's forever decentralized ๐
What's next?
More open-source projects. More blog posts. More educational content. More help to get Cardano core components accessible.
And I hope, more that I'll be able to announce soon.
Let's open-source
#Cardano
development together!
#Cardano
can do that. Stake ownership can be encoded as an on-chain contract, allow one user to withdraw associated rewards and let another manage the delegation.
Icing the the cake, the stake remains liquid for the entire process.
Is there an easy method on Ethereum (or any L1) that allows one to stake & then send the interest to an address other than the principalโs address?
Have a friend trying to support another friend internationally, and would like to re-route interest off his principal to do so ๐
Wake up at 7.
Fix bugs all day in the Aiken compiler.
Take a quick break at 15:23.
Go on Twitter.
Read stuff like "CF employees are doing nothing".
Make a puzzled face.
Think about leaving Twitter for good.
Go back coding.
After almost 3 years of hard work, I am now handing over the
#Cardano
wallet technical leadership. Native assets will be my last big milestone in this adventure. I am proud of everything we achieved ๐ช.
It's now time for me to give life to mythical chimeras. Here I come
#Hydra
.
Hey
#Cardano
folks, in case you missed this announcement. The Cardano's Academy is going live very soon!
->
More than 100.000 words of knowledge about blockchain & Cardano turned into educational video.
This is months of effort finally coming live ๐
Steady progresses on the
#Hydra
proof-of-concept with another pre-release: end-to-end
#Cardano
node integration (on a private cluster), it's something ๐
Next steps, we'll focus on on-chain validations and closing the gap towards testnet!
In the end, "smart contracts" feels like an imprecise term. Rather, I'd prefer more specific terms such as "on-chain validators" and "off-chain code". I reckon this is a hard one for marketing though...
If anything, "smart-validators" sounds already much better to me ๐
I am *way* too excited about this to not share anything so... here we go.
Ever heard of "Web 3.0"?
This is a sneak peek of the new command-line REPL for powered by its brand new
#TypeScript
client (courtesy of
@rhyslbw
๐).
#Cardano
on the Web? Yes!
I am getting so tired of reading posts without much substance about why Cardano is bad, that I am tempted to just write one. The good, the bad and the ugly.
Maybe some fair criticism from the inside could help set the story straight. Though I am afraid of the FUD potential...
It's sometimes hard to measure the amount of commitment of someone into a project.
Sebastien is one of those faces of Cardano to me who's had a great impact on so many fronts.
I am glad to have been working with him all those years.
An amazing person and engineer!
Reached 25K followers today!
Although I usually only post technical tweets, I'll share fairly personal stuff about:
- my life & career
- mental health
Maybe some of the 25,000 may find it interesting
Thread โ
Kupo + Hydra = ๐ฅ
You dreamt about it. It's now real!
Hydra heads are isomorphic state-channels, right? So what if you could "chain-index" a Hydra head in the same way you do for anything else on Cardano?
Well, that's now possible with kupo v2.7.0 ๐
I figured it could be worth worthwhile to write some digests of what's happening with the CIPs.
Today was the
#Cardano
Improvement Proposals Editors Bi-weekly Meeting
#52
, and here's what we've been through ๐
Here we go ๐ฅ
Writing smart contracts on Cardano?
We got you.
Aiken is here, and we are thrilled to welcome pioneers to join us on this journey.
Come and help us build stuff on testnet, and mature the ecosystem towards mainnet. A new era for Cardano smart contracts ๐
Something not everyone realizes is that a Hydra head is "yet-another-DApp". It uses on-chain smart validators, it interacts with a cardano-node, observes the chain etc..
It's a DApp for creating off-chain mini ledgers on-demand that can settle on the layer 1 ๐
Our latest increment of the
#Hydra
head protocol is now out!
With it, we're happy to announce our user manual to help builders to get their hands into this beast!
As always, everything is open-source & feedback is welcome ๐
I am committed to making Cardano a better place for developers. Having been there for a while, I can appreciate the road behind us and the magnitude of the progresses we've made.
There is still much to do, though. So y'all gotta have to bear with me for a little longer. ๐
A must-read for any DApp developer on
#Cardano
.
I've rarely seen articles of that quality about the EUTXO model, Plutus design and the trade-offs of Cardano & Ethereum.
Great stuff๐
In light of the recent controversy regarding
#Cardano
โs eUTXO model & concurrency, we wrote an article clarifying misconceptions and propose a few solutions.
Grab your sundaes & get cozy, itโs a long one! Spread this far & wide,
#Cardano
Community! ๐จ
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 ๐
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...
With Cardano going more and more
#opensource
, there's an increasing need for guidance and expertise in the community. With deep technical knowledge on the various parts of the project, I intend to do exactly just that to help fostering an ecosystem.
What about Hydra?
One thing that I often find disappointing with
#Cardano
cristisms is how people come with an observation, and immediately assume hypotheses to draw prompt conclusions which therefore, must be accepted.
It's not only about "facts" but about rationale and context, as always.
In case some missed that part:
The ๐ Vasil ๐ hard ๐ fork ๐ isn't ๐about๐Hydra!
Nor any hard-fork really.
Hydra is NOT a Cardano protocol update. It is a layer 2 solution, it runs atop. Hydra certainly benefits from Vasil but only indirectly (e.g. CIP-33).
Hydra is a prime example of open-source project.
We've been doing our best to make the project as open and transparent as possible. And we'll continue to improve it.
I will keep working on Hydra as an "external contributor". At least until we get the beast to Mainnet.
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 ๐
I just realized that, after all this time, I am still not following
@IOHK_Charles
on Twitter๐ถ.
Should I?
He seems to post relevant stuff about
#Cardano
from time to time ๐คท
I am thrilled to announce a new project I've been working on for the past few weeks:
Kupo: a fast, lightweight & configurable chain-index for
#Cardano
๐
What is this about ๐ ?
Am I going away?
No.
I still believe in the grand vision of
#Cardano
and I'll keep working on the project. Over the past years, it has become clear that it is as part of the
#Cardano
community that I can bring the most value to the project.
Some thoughts to whom it may concern:
In a system like Cardano, rewards are not the goal. The goal is, has always been, and should remain: the security of the network.
Rewards are the mechanism whereby we incentivize behaviors in the system to reach that goal.
(1/2)
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
Keep in mind also that Hydra heads are only a first step in the scalability roadmap. It won't stop there and we are already envisioning some nice extensions, so much that at some point, we'll need to chose in which direction we want to steer it :)
After quite some work, back-and-forth and questioning, I am glad to finally present and open up to discussions this significant overhaul of the CIP process:
Let's build
#Cardano
's future together and find ways to work together better ๐
The past weeks have been busy in debates and feedback on CIP-1694. There has been the Longmont workshop in Colorado and many discussions on Twitter, forums & al.
We've tried to capture this feedback into a new version of CIP-1694.
Let me walk you through the core changes๐
@IOHK_Charles
I think what everyone is missing is a post-mortem. There was a critical flaw introduced on a *released version*.
How did this happen? Why was it caught so late? What has been done to prevent it from happening again?
Not providing an official post-mortem only creates more FUD.
Seriously, *who* is
#Cardano
?
Recently, I kept running into articles saying "Cardano did this..." or "Cardano is doing that..." but...
In the end, who's Cardano?
I guess that's the beauty of it. It's no one. And it's everyone. I think it's called *decentralisation*.
Some see blockchains as fully programmable platforms, game engines, database and whatnot...
But they really aren't.
They're ledgers, and they keep track of transactions. Thus, keeping the on-chain, critical, executions at a minimum is *crucial* for security / audit.
Oof. I just voted "Solana" on a poll (which also offered Cardano as an option), because Twitter just actualized the feed moment before my finger touched the screen for scrolling ๐ณ. Please forgive me.
Fortunately, the poll was already 90% for Cardano thanks to all the bots.
Some have probably noticed but I've been oddly quiet about Hydra lately...
There were many things I wanted to address properly, without creating FUD or unnecessary excitement. So here we go!
A blog post to shed some light and truth on the Hydra head protocol ๐
The Basho phase of
#Cardano
development is all about scaling and network optimization. The Hydra family of protocols is a key element on this steady path to increased performance and growth.
Hereโs the latest on progress ๐
The education program is being rolled out to all the alpha testers / pioneers!
As something we've put a lot of efforts in, this is very exciting. People have often mentioned the lack of documentation and onboarding content on
#Cardano
; well, this is it!
Very much looking forward to the release of the Education Alpha Program.
Over the last few months weโve been buidling and canโt wait to get initial feedback from the 600+ Alpha Testers that signed up during Summit 22.
#CardanoCommunity
#Blockchain
#BlockchainEducation
#Cardano
Yo. I am back. Roadmap for the year:
- Keep building amazing OSS (Ogmios upgrade coming + Kupo read-only replicas).
- More Aiken tooling (property testing & off-chain code gen from blueprints)
- A cool tech-centric conference:
- MORE education
- MOAR
๐
We have had transactions per transaction for a while now, and input endorsers will be bringing blocks per block.
What's next? Chains per chain? Oh wait no, we already have that one. Nevermind.
Quite a journey huh. Ogmios v6.0.0 is here, finally.
โ Clearer & uniform API with JSON-RPC 2.0
โ Better transaction submission errors
โ Conway & SanchoNet support
โ AMD & ARM support
โ GHC 9.6
Thanks to all who helped test & who provided feedback ๐
๐ฃ Today we launch our FIRST EVER Annual Report! ๐
Discover key 2022 achievements and see how they fit along the Foundation's core focus areas of:
โก๏ธ Operational Resilience
โก๏ธ Education
โก๏ธ Adoption
#CFAnnualReport2022
#CardanoFoundation
๐๐๐
3/5
At this stage, what I expect from
@InputOutputHK
and
@COTInetwork
is a (public) postmortem analysis of UST, as a case study to validate or reformulate hypotheses made for Djed. Being fully algorithmic means that, you can't get it wrong.
@cardano_whale
A nice side effect of being a Cardano expert is the ability to rule out crypto media or influencers based on their Cardano content.
If they put enough research in and provide accurate information about Cardano, I trust them to do the same with other projects.
Otherwise, ciao.
A little Christmas present slightly in advance๐๐
Ogmios 5.0.0, the JSON/WebSocket bridge for
#Cardano
๐
Some breaking-changes in this one, but for a greater good!
The awaited new *local transaction monitor* mini-protocol will follow in 5.1.0!
The cardano-serialization-lib, another tool to have in your swiss-knife for developing applications with
#Cardano
I won't stress it enough but remember it's _open-source_. That means you can contribute (to doc, to code, to examples)!
๐ข Cardano developers
The Rust SDK (cardano-serialization-lib) has basic support for Alonzo now!
There will be more work done on utility functions & expanding the library, but this should be good enough for wallets & exchanges who want to integrate Alonzo
Delay is good. Vasil is arguably the first hard-fork with an actually large ecosystem that goes beyond SPOs.
People need time to upgrade and integrate new features. It's no longer a matter of just upgrading a software, it's now many components across the entire Cardano ecosystem
Sorry, was busy building and apparently missed the memo asking to say all sort of non-sense about
#Cardano
.
Anyway, Ogmios 5.3.0 is now out! With a fresh API documentation๐ , I hope you like it.
And as always, your feedback is what makes it great๐
Property-based testing is probably the number one reason I fall in love with functional programming to begin with. It has been on Aiken's roadmap since almost day 1, so I am really glad to have finally taken a big stab at it.
This opens up so much more ๐ฅ. I am hyped.
What happens when formal methods and developer experience join forces?
โก๏ธ Enters Aiken's property-based testing framework.
You may not realize it yet, but your smart-contract testing just made a major leap forward.
What is this about? ๐
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๐
No.
Blockchains are programmable distributed ledgers.
Not databases, not game engines, not general purpose computers; just, ledgers.
They record who owns what, and they allow transfer of assets using possibly complex rules and contracts between parties.
Cardano introduces the concept of programmable validators. Validators are fully deterministic: their result entirely depends on the transaction that carries them (= predictable fees).
In a sense, they are similar to the notion of "pure functions" in functional programming.
In case you were not aware, Colin and his team are doing an amazing R&D work with Hydra.
Hydra is, in essence, a tool. You need to use it. So shout out to the brave souls out there pioneering Hydra-based architectures.
โค๏ธ
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.
Another hot and quite captivating topic these days is whether or not
#Cardano
needs a *fee market*.
I don't have myself a definitive answer for I think a large part of the answer is not software-related, but about economics.
Here's my two lovelace nonetheless... ๐๐ 1/n
Unlike Ethereum, Solana, Algorand and al, there's no such thing as "deploying" a smart-contract on Cardano.
Instead, validators are implicitly referred to by hashes prior to their use, and they are disclosed upon activation.
This can be a little bit unsettling at first.
It would be nice to have a nice-and-easy way to evaluate execution units of
#Plutus
scripts for DApps, wouldn't it ๐?
GUESS WHAT!
Ogmios keeps to play a role in fueling the
#Cardano
ecosystem with love and tooling ๐
People be like: "With the first head opened on testnet, Hydra can now be tested"
๐ค
Hmm. We didn't wait for the testnet to start testing you know. Actually, the first thing we wrote for Hydra a year ago was a test and we've been test-driving its development ever since.
This is probably the project that'll have the most significant impact on the Cardano developer ecosystem over the next few months.
This is just an incredible piece from
@txpipe_tools
once again.
๐โโ๏ธ
A direct consequence of this means that, validators aren't actually producing anything.
They just validate.
The on-chain execution is thus only about validation and verification, as it should.
Other more expensive operations are seemingly kept off-chain.
The final CIP-1694 workshop is now over, it's been a pleasure once again to meet with the Cardano community.
It's always different from any online interaction, and it's where real magic happens.
Few of my key takeaways from this workshop ๐
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. ๐
It kind of makes me sad when after an update, all "media" talks about is whether or not it's going to pump the price..
There are so much more to talk about:
- What is it about?
- What problem does it solve?
- What limitations?
- What's next?
- What project will use it?
๐
Sometimes, I really feel like a developer therapist. I am like, asking builders to tell me about their problems, what bothers them, how they'd want things to be.
And then, I try to do something about it. Bit by bit. Truth is, I am not alone doing that. The future is bright ๐
In Cardano, "smart-contracts" tend to refer to the combination of the on-chain validator(s) and the off-chain code that's driving it / them.
Yet, I often see people mixing up validators and smart-contracts: when one says smart contracts, they really mean validators.
Hey
#Cardano
community, don't forget to nominate awesome projects and folks for the upcoming summit awards ceremony.
This is a good opportunity to show some well-deserved love to actors of our community๐
Morning thoughts: blockchain, fee and scalability.
There were discussions recently on the throughout and the infamous "TPS" as a means of comparison. It gave me some thinking. So bear with me, it might be a bit more disorganised than usual but, hopefully understandable. ๐
Does
#Cardano
need rollups (optimistic or zk)?
Probably not.
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
Here comes that time of the year again where I need to explain to one part of the family that no, I don't do Windows, and to the other part that no, Cardano is neither a Ponzi scheme nor it is a massive energy hole calculating hashes over and over.
On the plus side: food ๐.
Meanwhile, we continue to work on bridging
#Cardano
to WebSocket & JSON with Ogmios latest major release v4.0.0 ๐!
Full support for
#Alfonzo
blocks, scripts and literally anything doable with cardano-node ๐.
It's huge, check out the release notes!
Fun fact: the minimum amount of Ada for an output hasn't been 1 Ada for ... almost 3 years now. It's actually been *less*.
๐คจ ? .... Let's dive in ๐
5/5
Often enough, we only see the visible feature set of a software and think "that's all? It took all that time for just this?", but behind, there's a lot going on to make sure it does work as it's intended to. When some fail, understand why, and learn from it.
@cardano_whale
About 5460 unique visitors on on the past 30 days (~1000 few months ago).
Most viewed pages are "installation instructions", "getting started / hello world" and "eUTxO fundamentals".
Doesn't look like builders leaving the ecosystem to me.
One thing that brought me into Cardano initially was the attention to details and to security.
When looking at proposals / projects on Catalyst, pay attention to those. Be careful about projects that can't explain the details or give strong security rationale.
Be critical.
I was in Barcelona this week to attend the Audit & Certification workshop organized by IOG. Great time to meet with some old and new faces ๐
Key take-aways:
- Audit your DApp;
- Seriously, get your stuff audited;
- Write property-tests!
Proper-what? ๐ค๐