Home	About John	Resume/CV	References	Writing	Research

ZK Proof of Stake

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