Mark Petruska (@proxy742) 's Twitter Profile
Mark Petruska

@proxy742

smart contract team lead/formal methods specialist

ID: 1508353101471916036

calendar_today28-03-2022 07:59:58

143 Tweet

136 Followers

170 Following

CardanoProphet (@cardanoprophet) 's Twitter Profile Photo

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

Hello 👋
we'd like to thank everyone that voted in the <a href="/wingriderscom/">WingRiders</a> 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
Charles Hoskinson (@iohk_charles) 's Twitter Profile Photo

Despite the worst liquidation in the history of Crypto with Ada temporarily losing 60+ percent of its value, Djed held its peg taptools.io/charts/token/d…

The Cardano Times (@thecardanotimes) 's Twitter Profile Photo

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

Mexplorer.io (@mexplorer_io) 's Twitter Profile Photo

🌘 The time has come. Dive into Midnight block data with mexplorer.io - the first community-made Midnight block explorer 🎉 The initial release lets you: 🔹 Browse blocks and transactions 🔹 View details about participating Midnight SPOs 🔹 Explore network

🌘 The time has come.

Dive into <a href="/MidnightNtwrk/">Midnight</a> block data with mexplorer.io - the first community-made Midnight block explorer 🎉

The initial release lets you:
🔹 Browse blocks and transactions
🔹 View details about participating Midnight SPOs
🔹 Explore network
Sundae Labs 🍨 (@sundaeswap) 's Twitter Profile Photo

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.

Input Output (@inputoutputhk) 's Twitter Profile Photo

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,

This week, <a href="/InputOutputHK/">Input | Output</a> and <a href="/EdinburghUni/">The University of Edinburgh</a> 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,
Mintern (@minswapintern) 's Twitter Profile Photo

BREAKING NEWS: CARDANO–SPACEX NEGOTIATION IS BACK ON THE TABLE FOR 2026 😱😱😱 Charles Hoskinson confirmed that initial talks with SpaceX have already begun, with plans to renegotiate next year once Cardano’s tech stack fully meets SpaceX’s ambitious needs. Midnight's

BREAKING NEWS:

CARDANO–SPACEX NEGOTIATION IS BACK ON THE TABLE FOR 2026 😱😱😱

<a href="/IOHK_Charles/">Charles Hoskinson</a>  confirmed that initial talks with <a href="/SpaceX/">SpaceX</a>  have already begun, with plans to renegotiate next year once Cardano’s tech stack fully meets SpaceX’s ambitious needs.

Midnight's
Mario Nawfal’s Roundtable (@roundtablespace) 's Twitter Profile Photo

Bybit just revealed that 16 major blockchains contain hidden code capable of freezing user funds. - Findings came from a recent internal audit - Affected chains include several top-20 networks by market cap - Code allows validators or core devs to halt transactions at will If

Bybit just revealed that 16 major blockchains contain hidden code capable of freezing user funds.

- Findings came from a recent internal audit
- Affected chains include several top-20 networks by market cap
- Code allows validators or core devs to halt transactions at will

If
Angry Crypto Show (@angrycryptoshow) 's Twitter Profile Photo

JUST IN: Microsoft Copilot Deep Research says "USDC's arrival on #Cardano is projected to drive $ADA's TVL towards $500M to $3B, catalyze DeFi and institutional adoption, and position Cardano as a leading smart contract platform alongside Ethereum and Solana."

JUST IN: Microsoft Copilot Deep Research says "USDC's arrival on #Cardano is projected to drive $ADA's TVL towards $500M to $3B, catalyze DeFi and institutional adoption, and position Cardano as a leading smart contract platform alongside Ethereum and Solana."
Mark Petruska (@proxy742) 's Twitter Profile Photo

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

Was chatting with friends about that viral science Olympiads medal ranking (<a href="/stats_feed/">World of Statistics</a> 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
Riley (@ilikecardano) 's Twitter Profile Photo

Here's a short demo of the integration between Aiken and Blaster (Automatic Formal Verification Tool). Feel free to reach out if you have any questions!

Input Output (@inputoutputhk) 's Twitter Profile Photo

🎉 USDCx on Cardano is now available via @Circle xReserve! For the first 10 days, IOG will subsidize bridge fees for USDCx transfers to Cardano to help you get started with lower costs. All other network and DEX fees remain the responsibility of the user. See the FAQs for

Circle (@circle) 's Twitter Profile Photo

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

Romain Soulat (@rsoulatiohk) 's Twitter Profile Photo

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