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