zkVerify Attestation on ApeChain and Upcoming Ultraplonk Integration
Hello ZK enthusiasts! We have some fantastic updates from our latest sprint at zkVerify. We're thrilled to share these advancements with you, as they open up new possibilities and enhance zkVerify's capabilities.
zkVerify Now on ApeChain
We’re excited to announce that, starting today, zkVerify can publish Zero-Knowledge (ZK) proof attestations on ApeChain, the home of ApeCoin. This is a big step forward for the ZK community, and here is why this is a game-changer:
What This Means for ZK Projects
ZK projects can now build directly and natively on ApeChain, leveraging the power of ZK proofs to create unique and innovative gaming experiences.
Imagine a ZK-based game on ApeChain that can now access various types of proof attestations, even those that are technically challenging to verify on the EVM. This opens up a world of possibilities for developers and gamers alike!
If you’re interested in developing a project using zkVerify, we’d love to hear from you!
What is an Attestation?
An attestation is a crucial part of the zkVerify process. It’s the result of zkVerify’s proof verification and aggregation process and contains information about the validity of the proof. Stored on the blockchain, an attestation serves as a reliable reference for ZK projects on that chain to check the validity of their requested proofs.
How Does It Work?
In simple terms, an attestation is like a digital certificate. It’s a Merkle root with verified proofs as its leaves. Here’s a breakdown of the process:
- A smart contract on ApeChain calls the verifyProof function of our zkVerify smart contract.
- This function retrieves the attestation and unpacks all the hashes from the Merkle root to the leaves, where the proofs are stored.
Developing ZK Projects Made Easier and Faster with Our New Upcoming Integrations
We’re also thrilled to announce that we’re experimenting with integrating new ZK proof verifiers like Aztec’s UltraPlonk. This will enable zkVerify to verify proofs generated via Noir, a Rust-based programming language (technically, a domain-specific language or DSL) that simplifies and speeds up ZK development. Noir abstracts away complex cryptographic concepts, making it easier for non-cryptographers to develop ZK projects.
Why Noir and UltraPlonk?
Noir allows developers to accelerate ZK development without deep cryptographic expertise. UltraPlonk enhances regular Plonk with custom gates and plookup, making it even more powerful and versatile!
Why This Integration Matters
zkVerify verifiers are implemented as Substrate pallets, which are self-contained modular components that encapsulate specific functionality within the blockchain. This design allows for high customization, making zkVerify a perfect choice for achieving optimal performance and unparalleled security.
Join Us!
We invite you to join the zkVerify community and be part of this exciting journey as we push the boundaries of what’s possible with ZK technology on ApeChain and beyond!