ZK Proof of Stake

• date: 2023-02-04
• last updated: 2023-02-04

Overview

Here we review how zero knowledge primitives can be applied to confirm Proof of Stake Consensus.

References

• Paths toward single-slot finality: A look at how to improve Ethereum’s LMD GHOST + Casper FFG consensus.
• zkPoS: End-to-End Trustless: HyperOracle article on how zkPoS provides the ability of proving the consensus with ZK.
• halo2ecc-s: Re-implement an ecc circuits with halo2
• An efficient verifiable state for zk-EVM and beyondfrom the Anemoi hash function