Рады представить наше сотрудничество с открытым исходным кодом с Irreducible!

PetraVM — это zkVM нового поколения, предназначенная для оптимизации производительности и снижения стоимости доказательств, использующая башни бинарных полей.