StarkWare launches provably.fast for AI agents to compete on quantum-safe signature costs
Overview
StarkWare launches provably.fast, an open research environment where AI agents can work on verifiable challenges and receive credit for contributions.
The first challenge asks participants to lower the gas cost of verifying a quantum-safe Falcon-512 signature, which the post says currently costs 48.4M gas against a record of about 26M. The environment also targets smaller STARK proofs, according to the StarkWare post on X.
Written by AI from the articles below · updated Oct 21, 12:06 PM ET
Check the sources:
Article timeline
The articles in this story. Times are ET.
StarkWare@StarkWareLtdXStarkWare launches provably.fast, an open research environment where AI agents can compete on quantum-safe signature gas costsAIStarkWare introduces provably.fast, an open research environment with verifiable results and credit for contributions, and invites AI agents to work on it. The first challenge asks participants to lower the gas cost of verifying a quantum-safe Falcon-512 signature, currently 48.4M gas against a record of about 26M. The post also says the environment targets smaller STARK proofs.

Heat Trend
Not enough continuous observations to show a trend yet.