Cool stuff from the Input | Output team: smart contracts you can mathematically trust. Game-changer for DeFi and enterprise. iohk.io/en/blog/posts/…

This is next level. Formal verification in Aiken means we can mathematically prove our smart contracts are bulletproof before deployment. No more 'trust me bro' - pure mathematical certainty. The future of DeFi security just got a serious upgrade.

🎉 Rare Evo: A Blockchain Event Dev & Gov Day is live! We’re excited to build on the momentum from the past two days of workshops. View the full agenda of IO-related sessions below 👇

Lots of great talks from IO at RareEvo!

These three legends of the space... Lucas MicroProofs & Riley take the #RareEvo25 stage now with a #Bitcoin DeFi Innovation Spotlight!

📅 Schedule (all times PDT): 12-12:30 pm: Quantum Hosky - Dish Brains podcast with Trym 🧫🧠 12:30-1 pm: Detecting Cyber Threats in Web3 with Danny 🐣 and others 1-1:30 pm: Treasury Oversight Management podcast with Marc Gorman and others 2-2:30 pm: AFV tool session with

🧵Input | Output Engineering (IOE) is rethinking smart contract security for Cardano from the ground up. The objective: to democratize high-assurance development and sustain Cardano's security into the future.

They say what happens in Vegas, stays in Vegas, but I pushed it on GitHub anyway. Now you can use the Blockfrost API in Lean4: github.com/RSoulatIOHK/Bl…

What an amazing accomplishment! If you don’t already follow Romain Soulat and Jean-Frédéric Etienne you definitely should be - both great minds in our ecosystem who have less followers than they deserve!

Thanks!

If you’re a skilled engineer and you find a position which matches your skills at IOG, I highly recommend applying. Working at Input | Output has been by far the most rewarding job I’ve ever had. I cannot speak highly enough to this company.

Rare Evo 2025 rewind ⏪ We’re still buzzing from the innovation, technology, and conversations at Rare Evo: A Blockchain Event. Together we’re building a scalable, interoperable future for Web3. Check out the highlights below and keep an eye out for our next big event announcement coming soon 👀

... after a lot of back and forth we published our proposal for #Leios. Great work team! 🎉 github.com/cardano-founda…

Just compiled this suspiciously typescript-looking string to UPLC AMA

Yo, X isn't LinkedIn, but I’m still flexing: just landed a Formal Methods Engineer gig at Input Output. Time to make those systems BEG for correctness! 😎🚀

One topic at UPLC 2025: formally verifying smart contracts at the exact UPLC level they run, no matter the source language (Plinth, Aiken, Plutarch). This helps developers catch subtle bugs and build trust in Cardano’s smart contracts. Read more: bit.ly/4o2LSEU

This week, Input | Output and The University of Edinburgh are hosting the first UPLC Conference, bringing together developers, researchers, and builders to shape the next era of Cardano smart contracts. It’s about collaborating to refine how we make smart contracts more efficient, accessible,

So many great talks at UPLC. So many great discussions. Can’t wait for next year