EIGEN provides a novel form of ๐๐๐๐๐๐๐๐๐ง๐๐ ๐๐๐โ๐ก ๐๐๐๐๐๐ก ๐๐๐๐ก๐๐๐๐๐๐ก๐๐๐ within crypto networks โ regardless of what an AVS is doing (e.g. sequencing, ZK proving, FHE, oracles), one can always have light client validation of, e.g., fork selection