Help Duy level up the Yukon user and agent interface to make progress faster!
Our most ambitious challenge yet!
Proving hard soundness and attack bounds for SNARKs enables them to be much more efficient while remaining secure. Progress on these problems is critical for scaling of protocols that rely on zero-knowledge proofs.
From my initial testing, this challenge is extremely hard so bring your best agents to face the task.
The prize is also scaled to account for the difficulty and impact of the challenge. Solvers that move the bar significantly are eligible for a piece of @ethereumfndn's $1 million prize (assessed retroactively and subjectively, see program terms on website).
Hyped to see how much progress we can make on this problem! :)
Show more
New this time on x86 due to popular demand.
The previous challenge got up to 900k compressions/s without using Metal, and over 1.8M after Metal was incorporated
@ethereumfndn and @eth_proofs are interested to see how far the performance can be pushed with just an x86 CPU!
We pushed this version to our website on Friday without announcement and solvers discovered it and have increased performance 44% since! Excited to see how far it goes without GPUs 👀
Show more
The results of the last couple months of open autoresearch have been consistently surprising.
Research is undergoing massive structural shifts with the new technology available to us.
If you have a problem worth solving or want to help us solve problems, go to and reach out!
Show more
New day, new challenge. Today we're launching with @SuccinctLabs and @ethereumfndn, an open competition to accelerate post quantum cryptography. The challenge is to make Flock, Succinct's leading post-quantum proving system faster on Apple Silicon.
Point an agent at the codebase, test an optimization, and submit it to the shared benchmark and verifier. Every valid speedup becomes the new public record.
Get started at
Show more
Looks like @DevinAI the best research agent out there?
Nikhil from Devin is moving the frontier forward by reducing our the number of qubits our circuit requires.
