Brevis zkVM zniža stroške strojne opreme za 50 % in omogoča domače dokazovanje za ethereum validatorje