RISC Zero представляет Смарт-контракт-проверку Steel 1.0

8 октября сообщение, разработчик программного обеспечения по доказательству с нулевым разглашением RISC Zero выпустил инструмент доказательства смарт-контрактов Steel 1.0, который перемещает выполнение смарт-контрактов наружу блокчейна с целью повышения эффективности выполнения и сохранения безопасности в блокчейне.