Simple property-based tests for Plutus validators
How to write off-chain code with the 'cooked-validators' library and get property-based tests for free
27 January 2022 8 mins read
We recently heard from Victor Miraldo, who leads the smart contract verification and auditing team at Tweag, about the importance of verification for security reasons in the world of decentralized finance (DeFi). Victor is a Haskell and formal methods engineer committed to ensuring the safety and correctness of decentralized apps (DApps) through tools and processes. In this…
Plutus fee estimator: find out the cost of transacting on Cardano
Our new fee estimator – released today – will help developers estimate the cost of smart contract scripts for maximum efficiency and minimum cost
21 January 2022 6 mins read
The ‘Alonzo’ smart contract upgrade deployed to the Cardano mainnet in September 2021 turned Cardano into a functional platform for the development of decentralized applications (DApps) built in Plutus.
With the Cardano ecosystem steadily growing, a great number of DApps are being built and readied for launch on Cardano. Either in final testing, deployment, or active development, Cardano will soon host a variety of DApps covering DeFi…
The beating heart of a fast-growing network
At the core of the Cardano network lies the node. Here’s how this integral technology will play its part as we scale Cardano during 2022
19 January 2022 5 mins read
In a recent post, we discussed our methodical approach to preparing Cardano for its expected growth over the coming weeks and months. As more and more decentralized applications make Cardano their home, and as the decentralized finance (DeFi) and ‘RealFi’ ecosystem expands and evolves, the blockchain needs to be able to perform accordingly.
Cardano is entering the Basho phase with a focus on optimization, scaling, and network growth. We anticipate a significant increase in transactional traffic over the months ahead, and here’s where we start the process of flexing to meet this. Improvements to the core node are part of this and we have packed node v1.33.0 full of new features and improvements to existing elements, upping…
How we’re scaling Cardano in 2022
With core smart contract capability now deployed, the next phase for Cardano focuses on performance optimization and scaling. And it starts right here…
14 January 2022 5 mins read
The Cardano project has always been committed to addressing the classic blockchain trilemma; scalability, security, and (importantly) decentralization. As the organization tasked with creating the core platform, we have always pursued a defined, clearly staged roadmap to deliver on Cardano’s capability and fulfill its long-term potential.
Utilising formal development methods and…
A new internal IOG Developer Experience department will improve development agility
Starting with our internal processes, we are committed to building better solutions and the optimization of the Cardano development experience
13 January 2022 4 mins read
Designed for global reach and enhanced functionality, Cardano is now moving from its core capabilities to a living and breathing smart contract platform. Gradual optimization and scientifically verified system improvements lead the way for Cardano's growth and maturity.
‘Move fast and break things’ isn’t the way Cardano is built. Working at the forefront of technology, and with our research agenda at the core, we use formal methods, such as mathematical specifications, property-based tests, and proofs to deliver high assurance software systems and give confidence to users for the…
Recent posts
The 11 blockchain tenets: towards a blockchain bill of rights by Prof Aggelos Kiayias
11 October 2024
An unforgettable learning experience in Argentina by Ivan Irakoze
12 September 2024
Input | Output at Tokyo Tech: pushing the boundaries of blockchain technology by Olga Hryniuk
5 September 2024