RISC Zero zkVM notes on zero-knowledge
RISC Zero zkVM was designed from its inception to provide three main guarantees: Computational integrity: that a given software program executed correctly. Succinctness: that the proof of execution does not grow in relation to the program being executed. Zero Knowledge: that details of the program execution are not visible within the proof of program execution. Ulrich Habock and Al Kindi have released new research that indicates that several STARK implementations …