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…

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…

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…

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…

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…