SuccinctがイーサリアムブロックのリアルタイムZK証明を実現、ヴィタリックがL1実装の課題指摘