Brevis zkVM znižuje náklady na hardvér o 50 %, umožňuje domáce dokazovanie pre validátorov Ethereum