aiken
@aiken_eng
Followers
7K
Following
2K
Media
116
Statuses
771
Cardano smart contract language + toolchain Playground: https://t.co/WrL4oUo8W5 Discord: https://t.co/sABO5E1ab1 Github: https://t.co/TJSUCnX1tu
Joined December 2021
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? 👇
24
109
518
We've heard Cardano switched to a new era. It's time for a new era for Aiken too. Alpha is over. Aiken General Availability is here.
25
103
468
It's true that we didn't get funded in Catalyst 10. But, we didn't have any proposals so that's kind of normal. We're fine, we build, and we carry on making Cardano smart contracts effortless.
21
39
445
we've just released v1.0.25 and this is one is packed with new things
16
69
355
One important comment is we haven’t even started most of the optimizations we have planned in the pipeline. These numbers are expected to get even better.
1/ @berry_ales re-wrote Nebula from PlutusTx to Aiken. Numbers are shocking. This is not even funny. When we say that Aiken is one of Cardano's dark horse for 2023 - what we mean is not only an easier development experience (c-alike functional syntax without mutability) but also:
18
55
336
🎯 It's over 1,000,000!. Ladies and gentlemen, we're thrilled to share that Mainnet has now observed and stored more than 1,000,000 transactions interacting with a smart contract written in Aiken. We're here to stay, thanks all for making Aiken a useful tool.
11
59
328
It took more than a year after our alpha release to reach 1M transactions on Mainnet utilizing an Aiken smart contract. *Last month* alone, it's 1,099,536 transactions that were done through Aiken. That's about 62.37% of the smart contract activity on Cardano. 🚀.
🎯 It's over 1,000,000!. Ladies and gentlemen, we're thrilled to share that Mainnet has now observed and stored more than 1,000,000 transactions interacting with a smart contract written in Aiken. We're here to stay, thanks all for making Aiken a useful tool.
10
55
313
Dear #Cardano builders, . Aiken 1.1.7 is fresh out of the oven. It's a new release with minor adjustments and fixes from 1.1.6 (details in the CHANGELOG). with love, .the Aiken team.
5
52
285
At the moment it looks unlikely that we will be submitting a Catalyst proposal. We are fortunately not currently in a position where we need those funds, so it would be a shame to take away from projects that may be more in need.
16
13
267
In December 2023, on Mainnet, about 2.5% of all smart-contract transactions on-chain involved an Aiken contract. In January 2024, it climbed to 7.5%. In February, we've reached 18%.
12
38
261
New paid contributor starts Monday, will announce who it is soon. Thank you papa @IOHK_Charles.
5
22
215
Aiken v1.1.11 is out 🎉. 👉 On the menu:. ✅ Benchmarks (see . ✅ Various fixes regarding the Plutus Blueprint generations. ✅ Quality of life improvements around tests and destructuring.
4
46
244
Hey @coinbureau, if you wanna chat one day about developer experience and building on #Cardano, feel free to reach out 😊.
3
30
236
The Aiken project doesn’t care about any drama from anyone about anything. We love everyone on Cardano, regardless of association. The Aiken project has no partners or explicit affiliations. Only entities who provide sponsorship or support largely in the form of employment.
11
25
238
Aiken-1.1.6 is out 🚀. On the menu this week, we have:. ✅ Structured JSON outputs for the `check` command;.✅ More flexibility around Plutus blueprint handling;.✅ State-of-the-art pattern matching algorithm for code generation;.✅ Pure awesomeness, in #OpenSource, as always.
11
48
231
One of the reasons we think Aiken is incredible is because we also use it. We built it for us initially and we firmly believe that using your own software is paramount to its success and quality. And the beauty of Open Source is that it can be your software too.
9
30
219
We've just release v1.0.20. This one contains LSP improvements like auto-import.
4
37
219
Cardano has the most diverse Smart Contract ecosystem in the world. With an increasing range of options, it’s never been easier to get started on your Cardano developer journey. We’re going for number one!.
1/ 🧵 Exciting news! #Marlowe is now available on mainnet for early adopters to start testing and providing feedback. It's a safe and intuitive way to create and deploy smart contracts on #Cardano. Let's dive into what makes Marlowe special.👇
10
34
199
Thank you for the shoutout. All three core team members have a GitHub sponsors page setup. It's an easy way to donate with as little as 5 dollars.
Love the Aiken guys. We were just talking about their work with @jpgstoreNFT. It would be great to find ways to support their work.
9
32
211
Aiken Playground. - format code.- check code.- view test results.- view warnings and errors. All in the browser.
5
57
200
One of the largest deployments of Aiken to date, as far as we know. This is a big milestone for Aiken and the community.
Sundae v3 is now live!. (You might need to refresh without browser cache!). Read this thread 🧵 for a few things to keep in mind!.
0
28
209
this project will not be asking for anything from the budget, we're ok. best of luck everyone.
11
22
208
We've just released v1.0.24!. Along with some critical code gen fixes we also now have aliases for the check and build commands.
6
27
198
There are currently no plans to target any other blockchains. We have not been asked either. Aiken was good because it targeted Cardano exclusively and hyper focused on making that as easy as possible.
5
11
208
Wanna use Python? TypeScript? Java? Rust? or even Haskell for your application backend logic? Let's go. Aiken doesn't care as we decouple on-chain and off-chain code so you can use your favorite language where it matters. For anything on-chain, we got you.
4
35
198
Full Aiken degens right here. We can attest. Butane's devs have been instrumental in helping shape parts of Aiken from almost day 1. They are true pioneers who've really pushed the boundaries of what's doable on-chain at the moment. Massive kudos to them💝.
3
26
194
3
20
197
@TheCardanoTimes @IOHK_Charles No. Aiken has been fully funded by @Cardano_CF for almost 2 years now. It's been an integral part of the strategy to transform the smart contracts landscape and open a dialogue with builders. We are also in touch with engineers at IOG working on Plutus Core. We're good ☺️.
3
9
191
Pst @ILikeCardano starts today!.
New paid contributor starts Monday, will announce who it is soon. Thank you papa @IOHK_Charles.
17
15
183
It's Friday (13th 😱)! And thus, it's a perfect occasion to release a new version of Aiken!. This one has plenty of contributions from our amazing community. So, let's give them a big round of applause and all the love they deserve 🫶!
6
25
177
Aiken v1.1.1 is now available 🚀. A variety of small fixes, mostly in the code-formatter.
1
26
170
Introducing benchmarking to Aiken, simply define your 'samplers' as a function that takes an integer and returns a fuzzer and define your benchmarks similar to property-based tests with the bench keyword in order to allow Aiken to do benchmarking on your functions/validators.
4
21
155
Friendly reminder that there's no Aiken token, there has never been and there never will be one. It doesn't make sense. Anyone claiming issuing an Aiken-affiliated token is a blatant scam. Stay safe.
3
23
147
Coming soon.
Introducing benchmarking to Aiken, simply define your 'samplers' as a function that takes an integer and returns a fuzzer and define your benchmarks similar to property-based tests with the bench keyword in order to allow Aiken to do benchmarking on your functions/validators.
3
17
145
Ever wondered what Aiken looks like as a language? . Here is an example that verifies membership of a value in a Merkle-tree (from its root hash) in <25 lines of Aiken. Simple and efficient, as it should be.
5
21
139
We just reached 500 GitHub stars ⭐️, thank you all! Aiken is here to stay. Keep building!
3
16
139
Our biggest pride with Aiken is how we tricked you all to write lambda calculus with a nice(r) syntax and effective tools 😏. Functional programming surely is beautiful!.
4
12
135
We've heard it was sometimes a bit difficult to apply parameters to a parameterized validator. What if I told you that you can now apply parameters to contract blueprints interactively? . 💝. #Aiken
3
20
131
Aiken v1.1.14 is out 🎉. 👉 🔨 Simplified constructor interface with namespaces.✅ Improved error messages.🪲 Minor bug fixes for a better dev experience.
4
27
134
In March 2024, about 15% of the *smart-contract traffic* on Mainnet happened thanks to Aiken. That is roughly 172.000 transactions.
6
18
131
We’ve been made aware that there is a token named Aiken going around. We do NOT have a token and will never have a token named Aiken. Aiken is an open source smart contract programming language NOT a protocol. We have no idea what this token is or if it’s legit or not.
5
43
126
Did you know that Aiken helps you write more secure smart contracts as well?. The compiler and standard library enforce safe patterns to make sure you don't shoot yourself in the foot. And with the full-blown property test framework, Aiken is fully equipped for high assurance 💪.
5
17
132
Okay, hear me out: Aiken to PlonK-like circuits for Zero-Knowledge proving and cross-chain interoperability. @zkFold care to help us make that happen 😏?.
8
17
130
We wrote a MASSIVE changelog back in September, highlighting everything done since we first released the alpha version, covering the year of updates that followed. It's a good overview of Aiken's most recent features, in case you missed them!.
Aiken's evolution—from alpha to a robust, general availability tool ready for broader adoption. 🚀. Fine-tuned with developer feedback, it’s now a powerful platform reshaping smart contract development on Cardano. Read more about @aiken_eng's journey:
4
17
129
We call upon all off-chain libraries and frameworks to lean into CIP-57 (Blueprints), the openAPI of Cardano smart contract interfaces. This allows off-chain to be 1) on-chain agnostic and 2) off-chain can generator code for types.
We need Aiken's level of experience on the backend, and Cardano's developer experience will be second to none. It's no mean feat though, how do we get there?
3
23
128
Thanks to @Quantumplation some aiken CLI commands now have a watch flag. Shoutout to @_KtorZ_ for completing the final integration step.
4
14
121
“I am a simple man and I want simple answers” .— Howard Aiken. Did you know? Aiken was named after Howard H. Aiken, a computer scientist who pioneered computing, inspired by the work of Charles Babbage.
2
18
121
Is it Christmas already? Not yet. But here's a new Aiken release nonetheless 🎁. Few minor fixes and quality of life improvements, as well as statically linked binaries on Linux now. We also invite you to upgrade your *aikup* installation if you're using aikup on Linux.
3
17
121
Aiken now has an awesome list. Feel free to add your projects to the list. Libraries, dapps, examples, and tutorials.
4
21
114
Please keep in mind that fortuna was released as a fun experiment. Behave responsibly!.
15
6
115
Since it's Catalyst season, we would like to remind everyone involved in Catalyst reviewing / moderation that any project claiming to be affiliated with the Aiken core team or act in the capacity of the core team is extremely dubious / probably a moneygrab. We do no such things.
5
20
115
We've just released v1.0.23. There was a bug in v1.0.22 and that has been yanked. Please upgrade to avoid confusion.
2
24
112
Shoutout to all the Plutus alternatives working hard to improve the development experience. Give them a follow!. @helios_lang .@plu_ts .@OpShinDev.
4
20
112
It's been a few weeks already but, the Aiken compiler has crossed the bar of 1000 issues / pull requests 🚀! . Open source all-the-way.
1
15
113
Nice to see Aiken on top of the list here 🫡. We'll do our best to put the developer experience on even higher standards in 2024. Source:
4
15
105
Weekly reminder that Aiken has nothing to do with Rust, is not a Rust dsl, and does not require even knowing that Rust exists. Aiken is for all and is off chain code agnostic. The compiler just happens to be written in Rust.
5
20
104
Raw unfettered power that will change Cardano forever. How much can you do with a SINGLE transaction?.
We're doing some final testing on @butaneprotocol. Here's a single transaction that's creating 42 USDb CDPs (collateralized by ADA and SNEK), using that minted USDb to repay another CDP, and adjusting a EURb CDP at the same time.
1
16
105
Are you building cool stuff on Aiken? Did you write or record an amazing tutorial? Do you develop open source Aiken libraries? . If yes, make sure to contribute to our Awesome List of resources: . 💜.
4
22
101
Remember, if you need any help, do not hesitate to head over to discord and check out the help forum.
1
17
106
Did you know Aiken is named after Howard Aiken? He was an American physicist and a pioneer in computing. Inspired by Charles Babbage's difference engine, he envisioned an electro-mechanical computing device that could do much of the tedious work for him.
4
9
98
We’d like to shoutout some outstanding members of Aiken’s community that have contributed to fun convo in the discord. They’ve also snuck some code in. We’ll regularly highlight community members. This is not a complete list. @hrpr @MicahAlexKenda1.
2
9
98