Cardano Plutus Smart Contracts Official News & Inf Profile
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
Don't wanna be here? Send us removal request.
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
23 days
0
0
1
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
23 days
1
0
1
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
23 days
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
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
5 months
RT @IntersectMBO: The Intersect weekly development update is out! This week, we cover:. 🍴Plomin Hardfork Achieved!.⚖️Constitution Vote.🌴Com….
0
9
0
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
5 months
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
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
6 months
Exciting updates from the IO team! 🚀 A great step forward for the #Cardano ecosystem.
@RSoulatIOHK
Romain Soulat
6 months
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
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
7 months
This is the Plutus teams' official twitter account. We'll send out official posts from this account. Please follow us!.
2
13
64
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
7 months
12/10 @ 10AM EST.
0
0
2
@CardanoPlutus
Cardano Plutus Smart Contracts Official News & Inf
7 months
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