zk-SNARK(日：ジーケースナーク)とは・・・

イーサリアムのFOCILとは「Fork-Choice enforced Inclusion Lists」の略で、Beam Chainで導入が予定されている新たなプロトコルを指す。ブロック提案を行うプロポーザーがMEVにより意図的にトランザクションの検閲を行う問題に対応するものであり、「インクルージョンリスト」により一定のトランザクションを強制でプロポーザーがトランザクションをブロック提案に含めるという方式。
バリデータはインクルージョンリストコミッティとしてランダムに選出され、ブロックプロポーザーはそのインクルージョンリストからブロック提案を行う。