Olga Hryniuk
Weekly development report as of 2026-04-10
CARDANO HIGH ASSURANCE This week, the Cardano High Assurance team released a complete formalization of Plutus Core, UPLC, and CEK machine in Lean 4, called PlutusCoreBlaster. Combined with the automated formal reasoning backend, Blaster, developers can now formally verify that the compiled UPLC of their smart contracts meets the intended business requireme...0 up votes and 0 down votes. Total score