Cardano Plutus Smart Contracts Official News & Inf
@CardanoPlutus
Followers
205
Following
1
Media
0
Statuses
9
Official account for smart contract engineering at IOHK. Join the Plutus Working Group and Discord server here: https://t.co/kFCTWer11h
Joined October 2024
Hey, we've been working with Intersect and several partners to develop an on-chain treasury management app to handle the budget for development. We've made great progress in a very short time-frame. You can read about our progress bloew. Please share the links. .
1
0
5
RT @IntersectMBO: The Intersect weekly development update is out! This week, we cover:. 🍴Plomin Hardfork Achieved!.⚖️Constitution Vote.🌴Com….
0
9
0
We're getting ready to rebrand PlutusTX to Plinth. Help us decide on the new logo. Head over to Our Plutus Working Group to see the proposed design concepts and vote!
1
1
3
Exciting updates from the IO team! 🚀 A great step forward for the #Cardano ecosystem.
For the last few months, we've been working on an automated formal verification tool for Cardano smart contracts. It uses Lean4 as an intermediate language and Z3 to automatically prove specifications. Here’s a sneak peek at how it works: 🧵 (1/11).
0
0
4
This is the Plutus teams' official twitter account. We'll send out official posts from this account. Please follow us!.
2
13
64
Join us next week for the Plutus Working Group, where we'll demo the automated formal verification tool and present a static analyzer for Plinth.
1
3
11