También he estado leyendo sobre Hedger y cómo la criptografía homomórfica + pruebas de conocimiento cero pueden permitir que las computaciones ocurran sin simplemente revelar los datos subyacentes.