This summer, AutoEng, an autonomous optimization agent, significantly reduced costs associated with quantum attacks on ECDSA cryptography, achieving an 86.1% improvement. The results, led by engineer Zhao Huang, demonstrate the effectiveness of AI-human collaboration in tackling complex, open research problems, with findings published on arXiv and acknowledged publicly. Read more

Pico Prism 2.1 achieves a significant milestone by proving 99.9% of Ethereum mainnet blocks in under 10 seconds at a 60M gas limit. This new version averages 4.87 seconds for proving time, reduced by more than 20% from its predecessor. The improvements stemmed largely from AutoEng, an autonomous AI engineering agent, showcasing advancements in real-time… Read more

AutoEng is an autonomous optimization agent that achieved an 11% speedup on the Pico zkVM, a sophisticated Ethereum block proving system, within three days of operation. By profiling, identifying bottlenecks, and implementing valid optimizations without human intervention, AutoEng automates complex performance engineering processes, proving effective in both GPU and CPU environments. Read more