Brevis zkVM obniża koszty sprzętowe o 50%, umożliwiając weryfikację domową dla walidatorów Ethereum