berryfiable compute es una computación verificable con la dulzura que tanto necesitaba. al igual que no necesitas inspeccionar cada semilla para saber que una baya es dulce, puedes saber que una prueba es correcta sin conocer los secretos en el código ;)