30
60
42
30
42
42
30
30
30
60
55
45
45
30
Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits
Automated framework soundly removes up to 48.7% of redundant constraints in ezkl and zkml ZK-ML circuits, cutting prover time by up to 72.8%.
The framework uses whole-circuit abstract interpretation and a provenance graph to verify that each removed redundant check (range proofs, sign lookups, bit decompositions) remains entailed by the rest of the circuit, provably preserving soundness. It was evaluated on MLP, CNN, RNN, and transformer circuits generated by ezkl and zkml, with up to 25.3 million constraints. It removes up to 48.7% of constraints and reduces prover time by up to 72.8% without weakening security. Under-constrained circuits in deployed ZK systems have previously enabled attackers to forge transactions and bypass verification.
35
30
45
30
55
30
55
45
42
30
On Identifying Sound Conditions for Frontrunning Resistance
Researchers formally define smart-contract frontrunning resistance, showing 55% of 393 audited vulnerabilities escape state-of-the-art detection, and find two undisclosed Ethereum flaws.
The paper gives the first formal definition of frontrunning vulnerability for smart contracts, grounded in how honest users interact with contracts rather than contract code alone. In a large-scale study of 287 smart contract audits, 55% of the 393 vulnerabilities reported by leading auditors fall outside the scope of state-of-the-art dynamic detection criteria. The authors present a sound algorithm for synthesizing secure interaction conditions and apply it to real-world contracts, uncovering previously undiscovered vulnerabilities in two Ethereum contracts.
30
57
30
55
45
45
30
30
60
30
57
A Vinyl Bar in Shibuya is a startup from a former Spotify leader for making music apps
Former Spotify innovation head raises $5.5M pre-seed for A Vinyl Bar in Shibuya, a startup building playful music-creation apps with selective generative AI features.
A Vinyl Bar in Shibuya, founded by former Spotify head of innovation Máuhan M Zonoozy, raised a $5.5M pre-seed round from Mantis VC, SV Angel, Boxgroup, Quiet Capital and others. The startup ships small music-play apps including Speed Surfer, Usersound, Stacks, Drops, Sampler, and the iOS mixer app bop, plus a new prompt-based sound creation feature. Zonoozy says the company deliberately avoids infusing AI into every product, arguing human taste and participation become more valuable as AI-generated content grows abundant.
12
Financial Stability Board Sounds the Alarm Over Frontier AI Risks
The Financial Stability Board warned G20 banking leaders that frontier AI adoption poses growing cyber and financial stability risks.
The Financial Stability Board (FSB) issued a warning to G20 banking leaders about cyber and financial-stability risks stemming from frontier AI. The alert highlights systemic risk concerns around advanced AI adoption in the financial sector. No specific incidents or regulatory actions were announced.
35
Inaudible sounds used to fingerprint browsers catch AliExpress red-handed
AliExpress was caught using inaudible audio signals to fingerprint visitors' browsers, an outdated but still-active cross-session tracking technique.
Ars Technica reports that AliExpress fingerprinted site visitors by sending inaudible sounds to their browsers, exposing a legacy audio-based fingerprinting technique in commercial use. The method allows persistent tracking despite the technique being widely considered outdated. The finding highlights that legacy tracking methods remain deployed on major e-commerce properties, raising privacy concerns for defenders and privacy teams.
30
30
30