RIF Aggregation

The objective of this project is to provide the RSK community with a scaling solution based on Zero-Knowledge Rollups.

Abstract

The current version of RIF Aggregation is a port of zkSync, a layer 2 (L2) scaling solution developed by Matter Labs that uses Ethereum as L1. ZkSync increases scalability by holding all funds on L1 (Rollup Contract) and performing computation and storage management off-chain (L2). Furthermore, the state changes associated with all L2 transactions are stored on L1 using transaction calldata, hence guaranteeing on-chain data availability: in case of L2 failures, users can reconstruct the L2 state and recover locked assets. For each Rollup block, a proof (SNARK proof) is generated and verified on L1.

The architecture provides the following guarantees:

  • The Rollup validator(s) can never corrupt the state nor steal funds
  • Users can always retrieve the funds from the Rollup even if the validator(s) stop cooperating because the L2 state data is available (reconstructable).
  • Thanks to validity proofs, there is no need to be online to monitor Rollup blocks to prevent fraud.
Learn

Learn more about the RIF Aggregation architecture

Dapps

Take a look at the dapps currently available on RSK

SDKs

Use one of the SDKs available or the APIs to create your zk-based dapp

Walk-through

A step-by-step guide to create your zk-based dapp