Brevis zkVM reduziert Hardwarekosten um 50% und ermöglicht Heimnachweise für Ethereum-Validatoren