No-surprises transaction validation on Cardano
Cardano's EUTXO model enables the deterministic nature of Plutus script execution
6 September 2021 12 mins read
As the Alonzo hard fork brings core Plutus smart contract capability to Cardano, the ledger evolves to meet the growing need for the deployment of decentralized solutions. Cardano ledger design focuses on high assurance, security, and proven formal verification. In alignment with this strategy, it is also important to ensure that transaction processing is deterministic, meaning…
Cardano stake pool operator delegation – a new round
We are again inviting community stake pool operators to apply for ada delegation
1 September 2021 3 mins read
The Cardano network continues to grow exponentially, thanks to the efforts of the stake pool operators (SPOs) who secure and maintain it.
During 2021, we have been delegating a proportion of our corporate ada holdings to help bootstrap our SPOs. In the first two rounds of delegation, IOG’s strategy has focused on supporting geographically distributed pools, mission-driven…
Making education in Africa more accessible, affordable, and equitable
Announcing a new strategic partnership between IOHK and the European Business University of Luxembourg (EBU)
24 August 2021 4 mins read
We are pleased to announce a new and exciting partnership between IOHK and the European Business University of Luxembourg (EBU) to make education accessible for everyone in developing countries.
EBU is a renowned educational provider and non profit organization dedicated to higher education and certificate programs. They are partnered with over 36 key global organizations and…
Cardano Stack Exchange: a growing and vibrant community developer resource
Learn about this dedicated community hub that supports Cardano developers
19 August 2021 4 mins read
The Cardano ecosystem is committed to supporting and growing our developer community. A vibrant, informed community is essential to the development of a decentralized, functional ecosystem with a diverse user base. In line with our open-source approach, as we evolve Cardano together, everyone can benefit from its decentralized financial solutions while delivering best-in-class…
Djed: implementing algorithmic stablecoins for proven price stability
Djed is the first coin to use formal verification to eliminate price volatility
18 August 2021 7 mins read
Cryptocurrency volatility is one of the obstacles to its wider adoption. Blockchain technologies provide benefits such as transparency, data immutability, and proven security of financial operations. Yet, it is harder than fiat currencies to predict how the market will behave, or forecast the value of a digital currency. This hinders using cryptocurrencies as accounting and…
Recent posts
Hydra Doom Tournament by Fernando Sanchez
22 November 2024
Quality Engineering at IO: bridging research and reality in software development by Ivan Irakoze
20 November 2024
Black Hawk up: flying with heroes in the wake of Hurricane Helene by Fernando Sanchez
29 October 2024