DOLOS Tool Lets Developers Attack Live Smart Contracts Safely via Disposable Forks

·1 views

A development team has released DOLOS, an open-source dynamic EVM attack harness designed to red-team deployed smart contracts without touching live blockchain state. The tool spins up a throwaway Anvil fork — a copy-on-write clone of the live chain — so exploits can be tested against real contract state, balances, and storage without any risk to production systems. DOLOS was built to fill a gap between the team's existing static auditor (BASANOS) and their HTTP federation probe (MOMUS), enabling concrete attack simulations rather than theoretical code analysis. Each scan produces one of three outcomes: 'held' if the contract resisted, 'exploited' if an invariant broke, or 'inconclusive' if the test could not run — with inconclusive explicitly never treated as a pass. The project is live at dolos.modelmarket.dev and published under the MIT licence on GitHub.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Meta removes critical video about its AI glasses filmed at a Meta facility

Meta reportedly took down a video that was critical of its AI-enabled smart glasses. The video is said to have been filmed at a Meta location, raising questions about the circumstances of its removal. The takedown has drawn attention on social platforms including Reddit and Hacker News. Critics have questioned whether Meta used its platform authority to suppress unfavorable coverage of its own product. The incident highlights ongoing concerns about large tech companies controlling content that scrutinizes their own offerings.

0 comments Read more at Hacker News

ProgrammingDEV Community ·

Auto Routing Platforms Can Cut AI Inference Costs by 80% While Preserving Quality

Auto routing platforms act as middleware that directs incoming AI prompts to the most suitable large language model based on cost, complexity, latency, or provider availability. Research from UC Berkeley and LMSYS shows intelligent routing can reduce inference spending by over 80% while maintaining more than 95% of frontier-model output quality. By reserving expensive top-tier models only for complex tasks like multi-step reasoning, teams can cut token costs by 40–85% without degrading user experience. These platforms also improve reliability by automatically rerouting requests to backup models when a primary provider faces rate limits or outages. A 2026 comparative review identifies Bifrost, an open-source AI gateway built in Go, as the leading production-grade option, adding just 11 microseconds of overhead at 5,000 requests per second.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Structured Prompt Layering Can Fix Camera and Subject Failures in AI Video Generation

Generative video models frequently fail when camera motion and character action are described together in unstructured prompts, causing subject deformation and background distortion. A technical guide published on DEV Community identifies three core failure modes: vector bleed, spatial drift, and texture decay, all stemming from how temporal attention layers process mixed instructions. The proposed solution is a four-layer prompt architecture that separates subject identity, physical movement, camera rig parameters, and environmental lighting into distinct segments. Explicit optical tags such as focal length and aperture values help anchor the model's spatial reasoning across frames. The guide also maps common cinematic shot types to specific prompt keyphrases and their associated failure risks for practical reference.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Small AI Model Picks Correct Tool 19 in 20 Times Regardless of Phrasing

A two-stage evaluation of AI tool selection found that a small, low-cost model (gpt-5.4-mini) achieved 90–97% accuracy when choosing the correct tool from a shortlist of five, across varying description styles and request phrasings. The test used forced shortlists containing the correct tool alongside its four closest BM25 competitors, ensuring the model had to interpret verb semantics rather than rely on simple topic matching. Unlike the earlier recall stage — where paraphrased requests caused failure rates as high as 5% — selection accuracy remained consistently high even when users paraphrased requests into synonyms. Argument-filling accuracy was slightly lower at 87–97% under lenient scoring, but description verbosity had no meaningful impact on selection performance. The findings suggest that retrieval quality, not model judgment, is the primary bottleneck in end-to-end tool-calling pipelines.

0 comments Read more at DEV Community