Running Core's real consensus code inside a zkVM

The Hazync system represents a significant advancement in proving Bitcoin's consensus without reimplementing the core rules. By compiling Bitcoin Core v28's consensus code into riscv32im, running it inside a RISC0 zkVM, and generating mainnet consensus valid block STARK proofs, the system ensures that the original Bitcoin Core logic is preserved exactly as is. This approach allows for the generation of full block validity proofs using the actual code from Bitcoin Core, including critical components such as interpreter.cpp, SignatureHash, CheckTransaction, and more. The live demonstration and further details can be viewed and contributed to by anyone interested at the Hazync project page.

This innovative method addresses the substantial challenge of a new node having to re-execute approximately seventeen years of blocks to verify transaction history, which is both time-consuming and computationally intensive. Hazync eliminates the need to replicate this effort by providing a system where block proofs are verified through previously validated proofs, ensuring the same level of security as traditional block re-execution but with significantly reduced computational demands. The proofs generated cover every aspect of transaction verification required by Bitcoin’s consensus rules, meaning that each proof truly reflects the outcome of the entire network’s consensus to date.

In terms of operational functionality, Hazync does not rely on trusted components except for the core proving environment (riscv32im compiled guest). This design minimizes trust assumptions and maximizes security, as incorrect proofs cannot be generated without a massive computational effort equivalent to mining new blocks. Additionally, the system includes robust measures against potential attacks or errors from auxiliary components like the archive bridge or coordinator, which, while untrusted, cannot compromise the integrity of the proofs due to the system’s architectural safeguards.

For the community, Hazync offers tools and resources to facilitate widespread participation and verification. Anyone can contribute to the proof generation process through what has been termed a "Proof Party," where participants can claim a block, generate its proof, and potentially fold multiple proofs together. This community-driven approach not only decentralizes the proof generation process but also enhances the overall robustness and credibility of the proofs.

Furthermore, the system supports a browser-based tool where users can verify proofs independently on their devices without installing any software. This feature underscores the transparency and accessibility of Hazync, allowing users to verify the integrity of blockchain proofs swiftly and without relying on external validation. The corresponding tool and verification process are accessible directly via the Hazync verify page.

Finally, the Hazync framework is open for adversarial review and community engagement, encouraging experts and enthusiasts alike to explore, test, and potentially find vulnerabilities or areas for improvement. This open invitation aims to refine the system further and ensure its robustness against theoretical and practical challenges in blockchain technology and cryptography. For those interested in diving deeper into the technicalities or contributing to the project, all resources, documentation, and code are available on the official GitHub repository.