Accessing Ethereum historical data with zkProofs: Lido Validators' Balance zkOracle
In this tech talk, we'll show how =nil; toolchain enables developers to build zero-knowledge applications accessing historical data on Ethereum. Such a task requires accessing the complex data on the consensus layer and then proving it on the execution layer. We will explore a solution approved for a Lido ecosystem development grant: trustless zkOracle to provide in-EVM Validator's Balance data for the Lido accounting report. We'll talk about:
Lido motivation behind this project: why Lido wants to enhance protocol security with zkProofs and how it improves liquid staking.
The underlying algorithmic problem that includes entirely counting a Merkle tree with over 800,000 leaves.
A particular solution, written in C++ using the Crypto3 library and compiled into a zk circuit with zkLLVM compiler.
Speakers:
Eugene Mamin, Lido protocol contributor
Nick Volynkin, developer advocate at =nil; Foundation