Introducing Integrity Verifier V2: Improved STARK Proof Verification for Starknet

We are thrilled to announce the release of Integrity Verifier V2, a significant advancement in STARK proof verification technology for the Starknet ecosystem. This upgrade, developed in collaboration with StarkWare, brings several new features and substantial improvements in efficiency, versatility, and cost-effectiveness.

Key Enhancements

Expanded Layout Support

Integrity V2 introduces five new specialized layouts, each designed to address specific verification needs:

• recursive_with_poseidon: Optimized for recursive proof verification using Poseidon hash
• small: Streamlined for lightweight proof verification
• dex: Tailored for decentralized exchange applications
• starknet: Specifically optimized for Starknet’s requirements
• starknet_with_keccak: Enhanced compatibility with Keccak hash functions

Split Architecture

One of the most significant technical improvements in V2 is the new split architecture. This innovation not only enables verification of larger proofs but also makes previously undeployable layouts (small, dex, starknet, starknet_with_keccak) possible on Starknet. The architecture has been carefully designed to work within Starknet’s computational limits while maintaining security and performance.

Cairo 1 Beta Support

As the Starknet ecosystem continues to evolve, we’re proud to include beta support for Cairo 1. This addition ensures that developers working with the latest Cairo programming language features can seamlessly integrate Integrity into their projects.

Cost-Effective Verification

We’ve achieved a remarkable milestone in cost optimization. Integrity V2 can verify simple proofs for as little as $0.11 for the 10th Fibonacci number computation using a SHARP proof in recursive_with_poseidon layout, making STARK proof verification more accessible and cost-effective than ever. This breakthrough removes a significant barrier to entry for developers and projects looking to implement robust proof verification systems.

Security First

Security remains our top priority. Integrity V2 has undergone a comprehensive audit by zkSecurity, ensuring that the system maintains the highest standards of security and reliability.

Following the audit, several key technical improvements have been implemented:

• Enhanced Public Memory Validation: Improved verification of public memory segments for both Cairo 0 and Cairo 1 programs.
• Standardized Layout Implementation: Clear versioning and implementation standards for auto-generated components.
• Robust FRI Commitment Validation: Strengthened verification of FRI (Fast Reed-Solomon Interactive Oracle Proofs) commitments.
• Proof of Work Integration: Added configurable proof-of-work requirements to enhance security, allowing developers to set arbitrary security levels based on their specific needs.

The audit report confirms the robustness of our implementation and provides additional confidence for developers building critical applications.

You can read about the audit in detail here: https://www.zksecurity.xyz/reports/starknet-integrity

Impact on the Ecosystem

The release of Integrity V2 represents a significant step forward for the Starknet ecosystem. By providing more efficient and cost-effective proof verification, we’re enabling developers to build more sophisticated Layer 3 solutions and application-specific chains. The expanded layout support and split architecture open new possibilities for complex applications while maintaining Starknet’s high security standards.

Getting Started

Developers can start integrating Integrity V2 today by visiting our GitHub repository at https://github.com/HerodotusDev/integrity. Getting started is now easier than ever!

The repository includes documentation, implementation guides, and examples to help you integrate Integrity V2 into your projects. Alternatively, we encourage builders to contact our team for engineering and troubleshooting support!

Integrity Verifier V2 also makes interacting with Integrity from other contracts significantly simpler. Previously, developers needed to copy structs from the Integrity repo and write extensive boilerplate code. Now, with the elegant interface provided in Cairo 1, you can simply import integrity::Integrity and focus on implementation.

Integration Example

The screenshot below demonstrates how to check if a Fibonacci computation proof was verified using Integrity Verifier V2:

This approach reduces complexity, enabling faster and more efficient integration into your projects.

Looking Ahead

This release is just the beginning. We remain committed to pushing the boundaries of what’s possible in proof verification technology. Our team continues to work closely with StarkWare and the broader Starknet community to identify and implement improvements that will further enhance the capabilities of the Integrity Verifier.

We extend our sincere gratitude to StarkWare, the Starknet ecosystem, and all the developers who have provided valuable feedback throughout the development of Integrity V2. Your input has been instrumental in shaping this release.

Stay tuned for more updates, and join us in building the future of scalable, secure blockchain applications!

Follow us on Twitter for the latest updates and join our Telegram community to engage with other developers building with Herodotus solutions.