Charles Hoskinson, the co-founder of the blockchain engineering company Input Output Global and the blockchain platform Cardano, shared a Twitter post, commenting and criticizing the latest episode of the YouTube podcast “The Chopping Block”, in which the hosts ridiculed “Cardano’s rigorous secure formal verification design choices”.
Notably, on April 23, Unchained Podcast released its recent video hosted by crypto insiders Haseeb Qureshi, Robert Leshner, Tom Schmidt, and Tarun Chitra, presenting an in-depth view of the Ethereum Layer 2 blockchain.
Subsequent to the video, the official Twitter page of Cardano’s Stake Pool Operation (SPO), StakeWithPride, has been updated with a video clip extracted from The Chopping Block podcast. The page highlighted the part in which the hosts made fun of Cardano’s verification design choices.
The tweet read:
In one sentence these giga-brains discuss how LLMs will continue getting better at attacking smart contract vulnerabilities. And in the next sentence ridicule Cardano’s rigorous secure formal verification design choices.
Significantly, while discussing the flat state of the underlying technology of security that stays unimproved, the host Haseeb posited that the large language models are “good at attacking contracts” as it’s easier for the large language model to “find a vulnerability” than to fix it.
As an immediate response to Haseeb’s claim, the co-host Tarun put forward a statement regarding the “peer-reviewed formally verified” programmability of the Cardano blockchain, further presenting it as a topic of mockery.
Reacting to their comment which stated “1 transaction per block, because EUTXO is messed up”, Hoskinson shared a thread retaliating that the hosts aren’t even aware of the lies they proposed:
"1 transaction per block, because EUTXO is messed up", I love competition that is so ignorant that they don't even know they are lying. https://t.co/dH0zdqJyni
— Charles Hoskinson (@IOHK_Charles) April 24, 2023
Interestingly, the Cardano CEO received substantial applause for publically questioning the claims that had no clear pieces of evidence. There were some tweeters who ridiculed the podcast hosts claiming that they aren’t even known by anyone.
