Crypto: 1st July 2025

Decompiling Smart Contracts with a Large Language Model (arxiv:cs). Automated semantic analysis of EVM bytecode uses LLMs for decompilation to Solidity, enhancing readability and vulnerability analysis in blockchain security

Enabling Bitcoin Smart Contracts on the Internet Computer (arxiv:cs). Turing-complete Bitcoin smart contracts enabled on Internet Computer without bridges, facilitating complex decentralized applications with rapid finalization and low execution costs

PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes (arxiv:cs). PhishingHook utilizes machine learning to detect phishing in Ethereum smart contracts via bytecode analysis, achieving 90% accuracy with real-world malware data

DiT-SGCR: Directed Temporal Structural Representation with Global-Cluster Awareness for Ethereum Malicious Account Detection (arxiv:cs). DiT-SGCR improves Ethereum malicious account detection using directional temporal aggregation, differentiable clustering, and graph Laplacian regularization for scalable, robust embeddings

WallStreetFeds: Client-Specific Tokens as Investment Vehicles in Federated Learning (arxiv:cs). A novel framework for Federated Learning using client-specific tokens as investment vehicles, enhancing reward distribution through decentralized finance and automated market makers

Proof-of-Behavior: Behavior-Driven Consensus for Trustworthy Decentralized Finance (arxiv:cs). Proof-of-Behavior enhances decentralized finance security by scoring validator actions, reducing fraud, and ensuring fairness with minimal throughput impact

Pseudo-Equilibria, or: How to Stop Worrying About Crypto and Just Analyze the Game (arxiv:cs). Proposes pseudo-Nash equilibrium for games with cryptographic protocols, bridging game theory and cryptography under state-of-the-world assumptions, enhancing analysis of real-world protocols

Temporal-Aware Graph Attention Network for Cryptocurrency Transaction Fraud Detection (arxiv:cs). Augmented Temporal-aware Graph Attention Network enhances cryptocurrency transaction fraud detection, addressing class imbalance and leveraging temporal features for improved accuracy

Navigating the DePIN Frontier (airgradient​.com). AirGradient explores DePIN, decentralized networks leveraging crypto incentives for data sharing, contrasting it with citizen science's intrinsic motivation for air quality monitoring

Robinhood Launches Stock Tokens, Reveals Layer 2 Blockchain, and Expands Crypto Suite in EU and US with Perpetual Futures and Staking (newsroom​.aboutrobinhood​.com). Robinhood announces stock tokens for EU customers, a new Layer 2 blockchain, crypto perpetual futures, and staking options for enhanced investment opportunities

The best-performing stablecoin vaults, June 2025 (tradingstrategy​.ai). Performance analysis of top USD-denominated DeFi stablecoin vaults in June 2025, highlighting ERC-4626 standards and automated trading strategies

Pump.fun 2.0 and Moonshot Create Square Off in UX-Driven Solana Meme Arms Race (cosmicmeta​.io). Pump.fun 2.0 and Moonshot Create lead Solana meme coin ecosystem, emphasizing speed and simplicity in trading and creation

About Oleg Andreev (oleganza​.com). Oleg Andreev: UI designer, software architect, crypto-anarchy historian, creator of Tonkeeper, and author of blockchain tools like ZkVM and CoreBitcoin

From App Chains to Big Chains to Verifiable Cloud: How EIGEN Defines Crypto's Next Era (blog​.eigencloud​.xyz). Cloud Thesis marks a shift to programmable trust infrastructure with EigenCloud enabling verifiable off-chain computation for advanced crypto applications

Engineering Shelby: Web3’s first cloud grade infrastructure (medium​.com/aptoslabs). Shelby, a decentralized cloud-grade storage protocol, enables fast, secure data access and on-chain monetization, bridging the gap between Web2 and Web3 infrastructure

CosmWasm 3.0 (medium​.com/cosmwasm). CosmWasm 3.0 introduces IBCv2 support, enhanced developer experience, new schema format, comprehensive protocol integration, and improved IBC callbacks for cross-chain interoperability

New Brale Stablecoin API (benmilne​.com). Updated Brale Stablecoin API now in production, featuring authentication and balance retrieval tests using LLMs, Postman, and GitHub for reference

Maturing your smart contracts beyond private key risk (blog​.trailofbits​.com). Exploring smart contract security beyond private key risks through maturity levels, including multisigs, timelocks, and the principle of least privilege

Cambridge Cybercrime Conference 2025 – Liveblog (lightbluetouchpaper​.org). Cambridge Cybercrime Conference 2025 featured topics on legal risks in research, trust in cybercrime markets, blockchain attacks, and ransomware resilience

Uncovering the Phantom Challenge Soundness Bug in Solana's ZK ElGamal Proof Program (blog​.zksecurity​.xyz). Solana's ZK ElGamal proof program exposed a vulnerability allowing malicious token manipulation via forged proofs without revealing transfer details

Formal Verification of EVM Bytecode in Dafny (dafny​.org). Formal verification of EVM bytecode using Dafny, focusing on Ethereum's architecture, compiler bugs, opcode semantics, and gas accounting mechanisms

Protect now, reveal later: a scalable Time-Lock Puzzle solution (benthamsgaze​.org). Delegated Time-Lock Puzzles (D-TLPs) enable efficient, secure time-lock puzzle outsourcing for blockchain, finance, and more, dramatically reducing computational workloads

BitVM: enabling efficient verifiable computation in Bitcoin (blog​.lambdaclass​.com). BitVM enables stateful computation on Bitcoin using zero-knowledge proofs, enhancing scalability and expressivity for arbitrary programs while reducing on-chain burdens

🧘 Pieces of mind (S2025-E05) (news​.dyne​.org). Dynes collaborate on technology and resilience, featuring Longfellow ZK analysis, DarkFi testnet, and Bari Città Aperta initiative for urban challenges

VIBEscore: Judged by AI. Verifiable by All. (blog​.eigencloud​.xyz). VIBEscore showcases EigenCloud's verifiable AI and crypto programmability, enabling meritocratic memecoins and transparent applications through deterministic AI and data availability

I've got a big favor to ask - keeping Blaze running isn't expensive, but it does all add up, so I'm asking readers like you to help, if you can.
That's why I'm launching a Patreon page!. Nothing flashy, just a way for folks who find value in these newsletters to chip in a little each month. In return, you'll get:

• Real say in how Blaze evolves — vote on new topics, features, topic curation ideas
• First dibs on merch (details still cooking)
• That warm fuzzy feeling knowing you're supporting something that saves you time and keeps you plugged into great tech writing

If you are getting value from blaze, checking this out would mean the world. And if you can't contribute, no worries—the newsletters keep coming either way, and you can follow along on patreon for free.
Thanks for reading and being part of this nerdy corner of the internet. All the best - Alastair.