Francesco Piccoli
@francescop
Today we release ALMX-1.5, our new AI model, and the first version of the Web3 Security Atlas (W3SA), an open-source initiative led by Almanax aimed at improving Web3 security with AI. ALMX-1.5 is designed to navigate large scale and complex repositories, to perform high effort reasoning across multi-file execution paths, while empowered with the ability to consult the project documentation and navigate the internet. It supports most commonly used programming languages. This first W3SA release includes a benchmarking suite for blockchain code vulnerabilities. It initially focuses on EVM smart contracts written in Solidity and Solana programs written in Rust, with a second launch planned for Stellar and Aptos smart contracts.
2 replies
2 recasts
6 reactions
Francesco Piccoli
@francescop
Why this matters: - To move the needle in AI development for security use cases, we need good datasets, for both training and evaluation. - Current industry benchmarks have clear limitations: they are Solidity-specific, limited in size, often too simplistic and outdated. They're generally built with toy examples, often containing a single simple smart contract, which does not accurately represent the complexity found in real-world projects. Full release article and access to the Hugging Face benchmarks here: https://www.almanax.ai/post/releasing-almx-1-5-and-the-web3-security-atlas
0 reply
0 recast
3 reactions
Patrick | Megapot
@pl
Huge! Nice improvements across the board
1 reply
0 recast
1 reaction