ZK（ゼロ知識）証明の中で、証明のサイズが小さく検証が高速な方式として知られるものはどれか。

イーサリアムの実行レイヤーと合意レイヤーにおいて、バリデーターが不正をした際に報酬を没収されるペナルティはどれか。