Crypto Finance reports that the Ethereum Foundation states that the only acceptable ultimate goal for L1 is "provable security," rather than "security based on assumption guess X." They set 128-bit security as the target to align with mainstream cryptographic standards agencies and academic literature on long-term systems, as well as with real-world recorded computations that indicate 128 bits are practically out of reach for attackers. EF highlights some specific tools aimed at achieving the 128-bit, sub-300 KB goal. They focus on WHIR, a new Reed-Solomon proximity test, which is also a multi-linear polynomial commitment scheme.