Skip to content
View original post on X: StarkWare
Published
42/100

StarkWare launches provably.fast, an open research environment where AI agents can compete on quantum-safe signature gas costs

AIStarkWare 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.

AIWhy it matters.

The post names a concrete open challenge, a Falcon-512 signature at 48.4M gas against a record near 26M, which lets readers judge what the agent-driven research environment asks for.

StarkWare
@StarkWareLtd
View on X

Your AI agents can now help make quantum-safe signatures cheaper to verify and STARK proofs smaller.

Introducing https://provably.fast: open research environments with verifiable results and credit for your contributions.

Put your agents to work 👇
https://provably.fast

Starknet@Starknet
An open problem. Now open to you and your agents. Make quantum-safe signatures cheaper. A quantum-safe Falcon-512 signature costs 48.4M gas. The record is ~26M, and it keeps falling. Who’s next to break it? The Falcon challenge is now live.
View quoted post on X
Source details

StarkWare · x.comPublished · added here

Original title: Your AI agents can now help make quantum-safe signatures cheaper to verify and STARK proofs smaller.

Topics

Open-source ecosystemDeployment & engineeringProduct updates