Brevis zkVM minskar hårdvarukostnaderna med 50%, öppnar för bevisning hemifrån för Ethereum validerare