Posts

Showing posts with the label contract

Experiments show AI could help to audit smart contracts, but not yet

Image
Artificial intelligence has proven effective at identifying security vulnerabilities, but early tests indicate it won’t be able to replace humans for a while. While artificial intelligence (AI) has already transformed a myriad of industries, from healthcare and automotive to marketing and finance, its potential is now being put to the test in one of the blockchain industry’s most crucial areas — smart contract security. Numerous tests have shown great potential for AI-based blockchain audits, but this nascent tech still lacks some important qualities inherent to human professionals — intuition, nuanced judgment and subject expertise. My own organization, OpenZeppelin, recently conducted a series of experiments highlighting the value of AI in detecting vulnerabilities. This was done using OpenAI’s latest GPT-4 model to identify security issues in Solidity smart contracts. The code being tested comes from the Ethernaut smart contract hacking web game — designed to help auditors learn ho...

Cardano’s Aiken Alpha launch will simplify smart contract creation

Image
Join Our Telegram channel to stay up to date on breaking news coverage Cardano, one of the largest crypto/blockchain projects in the industry, has recently launched an alpha phase for its Aiken. Aiken is the open-source smart contract language and toolchain, which was introduced to simplify and enhance smart contract development within the project’s ecosystem. What's latest in #Cardano? • @liqwidfinance is the Top gainer in TVL with a 105% growth MoM • @NucastIO launches their Android app. • @NFT_NYC cardano panel at 5:25 EST • @aiken_eng is now in Alpha phase 1/5 pic.twitter.com/FmI55UIuw6 — Cardano Spot (@CardanoSpot) April 13, 2023 Aiken’s alpha launch came just when the blockchain industry was in dire need of something new and revolutionary that would help against the problems such as difficulties in setting up smart contract s, which proved to be hard to debug. There were also additional problems, such as poor interoperabili...