advancing knowledge through original insights and practical innovation.
In‑depth research & publications on all major ZKVMs (RiscZero, SP1, Binius, Jolt, Aleo…).
We study the foundational algorithms and cutting-edge theory across the zero-knowledge (ZK) field, advancing the core underpinnings that power next-generation proving systems.
Abstract 1. Network Snapshot: Scale, Trends, and Centralization At a glance, Boundless shows broader participation and openness, with many small and mid-sized nodes contributing — implying greater decentralization. Succinct currently has fewer provers; early compute may
TLDR : Introduction With the rapid advancement of zero-knowledge (ZK) technology, a new project called Labrador has emerged, promising to revolutionize how we think about secure proofs in the post-quantum era. Labrador
“Beyond traditional applications like ZK Rollups, emerging use cases in the ZK space now include cross‑chain operations such as The Signal.” As blockchain researchers, we are witnessing a huge need
TL;DR Binius Proof System is ZK proof system based on Binary Tower, which offers small memory footprint and high efficient field computation. We analysis the PCS in the Binius —
TL;DR Recently, Aleo released their roadmap for 2025. We analyze the possible algorithms Varuna will use to achieve this goal. Varuna is the current proof system for snarkVM in Aleo, used to
TLDR The finite field arithmetic operations are essential in ZKP proof systems, we introduce some simple novel field computation algorithms, result in at least 20% performance improvement of multiplication in