RISC Zero - это проверяемая общая вычислительная платформа с нулевыми познаниями, основанная на zk-STARKs и микроархитектуре RISC-V. В верс…

RISC Zero - это проверяемая общая вычислительная платформа с нулевыми познаниями, основанная на zk-STARKs и микроархитектуре RISC-V. В версиях 2.0.2 и ниже риск0-zkvm-платформы, когда гость zkVM звонит sys_read, хост может использовать созданный ответ для записи в произвольное местоположение памяти в госте. Эта возможность может быть использована для выполнения произвольного кода внутри гостя. Поскольку sys_read - это механизм, с помощью которого гостевой запрашивает ввод, все гостевые программы, построенные с затронутыми версиями, уязвимы. Это критически компрометирует гарантии надежности гостевой программы. Другие затронутые пакеты включают версии рископления риско 0 ниже 0,9, риско-zkos-v1compat ниже 2.1.0, версии risc0-zkvm между 3.0.0-rc.1 и 3.0.1. Эта проблема была исправлена в следующих вариантах: риско-zkvm-платформа 2.1.0, риско-zkos-v1compat 2.1.0, риско-агрегация 0.9 и риско-зквм 2.3.2 и 3.0.3.