it's not every day a new ethereum client is announced! 👀 the benchmarks & Lean formalization are def something for other CL teams to check out however i believe this is a beacon node, not a full validator client..? so unfortunately wont default improve client diversity