The research team, which includes contributors from a16z crypto, Carnegie Mellon University, and Imperial College London, built Aerie atop the existing Akita cryptographic proof system. Testing on an Apple M4 Max processor showed the system could process 32,768 Falcon-512 signatures using 16 worker threads, achieving peak memory usage of 2.1 GiB. By avoiding recursive proof construction, the architecture allows nodes to generate replacement proofs if an initial aggregator fails, addressing a common point of weakness in distributed validation.
Performance and cryptographic trade-offs
Aerie achieves an aggregate size of 42.1 bytes per signature, roughly 16 times smaller than traditional padded Falcon signatures. While the system demonstrates high throughput for proof generation, it presents a distinct trade-off in verification speed compared to Ethereum-linked alternatives like leanVM. In benchmark tests, leanVM proofs verified in under 7 milliseconds on a single thread, whereas Aerie required 54 milliseconds for its significantly larger batch. The researchers noted that Aerie outperformed the earlier Orthus system, delivering 38 times faster verification and 1.5 times faster proof generation on identical hardware.

Comments (0)
No comments yet. Be the first!