Package Generation using ZK Proofs

Laika leverages a hybrid L2 architecture,combining Plasma Chain and Rollup techniques to achieve its goals of high-throughput transactions and robust security.

Laika like Plasma Chains operates its own consensus protocols (Proof of Stake) , transaction details are written to Dogecoin by the Sequencers along with ZK proofs to the L1 Dogechain, these proofs are then further Validated by Validators on Layer 2 Laika with their own Proofs which are compared to validate the data integrity, in case of any integrity loss the L2 completely halts making the network secure, while blocks being truly considered finalized when they are details are submitted on Dogecoin and Proofs Validated on Laika. This integration with Dogecoin serves as a checkpoint or anchor point for the Laika network, providing a secure and decentralized layer 1 settlement layer. This process along with Doge being the core coin for fees or any action on Laika which is bridged directly from L1 makes Laika a viable Layer 2 network.

This section provides a high-level overview of the key components and their interactions within the Laika network.

Layers and Interaction

Laika operates across two layers:

• Layer 1 (L1): The Dogecoin blockchain serves as the L1 base layer, providing security and finality for Laika transactions.

• Layer 2 (L2): The Laika L2 network handles high-speed transaction processing, offering significant performance improvements over L1.

Sequencers facilitate data exchange between L1 and L2. They read and write data to both Laika full nodes and Dogecoin full nodes, enabling real-time synchronization.

Ensuring L2 Transaction Verifiability with zk-SNARKs

To guarantee the verifiability of L2 transactions even if the original L1 data becomes unavailable, sequencers leverage zk-SNARKs (Zero-Knowledge Succinct Non-interactive Argument of Knowledge).

zk-SNARK Proof Generation:

Data Commitment:

The sequencer generates a commitment (public key) for the entire block data, including transactions. This commitment acts as a compressed representation of the data.

zk-SNARK Proof Creation:

The sequencer utilizes a zk-SNARK proving system to generate a cryptographic proof. This proof demonstrates the knowledge of the actual block data corresponding to the commitment without revealing the data itself.

Submitting zk-SNARK Proof

Once the zk-SNARK proof is generated, the sequencer submits it alongside the batched transactions to Laika's smart contracts:

Proof Publication: The sequencer publishes the zk-SNARK proof to the Sequencer contract on L2. This allows validators to efficiently verify the data availability of L2 transactions on the L1 blockchain without requiring the entire L1 data. Validators also submit their own Proofs to further increase trust and provide decentralized trust between the Validators and Sequencers.