Mark Petruska
@proxy742
smart contract team lead/formal methods specialist
ID: 1508353101471916036
28-03-2022 07:59:58
143 Tweet
136 Followers
170 Following
🚨 Emurgo to launch a Category 1 crypto native on-chain bank. Appears to be cross-chain based on verbiage used. #Cardano Phillip Pon
Hello 👋 we'd like to thank everyone that voted in the WingRiders DAO vote for our VeriScript proposal that would make the Smart Contract interactions on Cardano safer and more transparent. With your help we managed to land in the TOP25 proposals 🥳🎉 Given the Catalyst
JUST IN: Cardano founder Charles Hoskinson (Charles Hoskinson) joins CNBC for a featured interview.
JUST IN: Charles Hoskinson, creator of Cardano and co-founder of Ethereum, has been appointed to The Digital Chamber's advisory board. The Digital Chamber is the world's largest crypto trade association, leading the charge on advancing pro-blockchain legislation in the United States
phil Charles Hoskinson TheToken 🎾 👾 🐶🐈⬛ Absolutely right !! Djed has never lost its peg, even during high volatility. In fact, the reserve ratio never went below 100% since first launch.
Please be aware that the USDM on Cardano account has been compromised. Any tweets and DMs should be disregarded until further notice. It is only the Twitter account, no other systems have been compromised.
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,
Was chatting with friends about that viral science Olympiads medal ranking (World of Statistics x.com/stats_feed/sta…) - Eastern Europe crushes it, as usual, but hey, room for more informatics wins for Hungary? My unhelpful contribution: teach babies Lean 4 🍼. I regret everything. See
USDCx on Cardano Community, a USDC-backed stablecoin with seamless access to crosschain USDC liquidity, is now available via Circle xReserve. With USDCx, enterprises and end users can power payments, lending, trading, borrowing, liquidity provision, and more using a highly liquid
This is awesome! Blaster being able to prove that the compilation did not change the semantics of the original contract is such a great use of the tool!❤️ Impressive as always Seungheon Oh