berryfiable compute — это проверяемые вычисления с той сладостью, которая так необходима. так же, как вам не нужно проверять каждое семечко, чтобы знать, что ягода сладкая, вы можете сказать, что доказательство верно, не зная секретов в коде ;)