Succinct Labs недавно произвела фурор в области zk-SNARKs. У этой команды довольно крепкий бэкграунд, ключевые участники приходят из MIT и Google Brain, и они занимаются не чисто теоретическими исследованиями, а реальной инфраструктурой — открытым исходным кодом zkVM под названием SP1 и децентрализованной сетью доказательств ProverNet.
Сначала посмотрим на техническую сторону. Основная особенность SP1 zkVM заключается в том, что он дружелюбен к разработчикам. Он позволяет вам писать программы на таком распространенном языке, как Rust, а затем автоматически генерирует zk-SNARKs, избавляя от необходимости углубляться в криптографию или изучать специализированный дизайн схем. Это значительно снижает барьер для разработчиков. В плане производительности также неплохо, в бенчмарках Celestia он оказался быстрее RISC Zero примерно в 26 раз и поддерживает аппаратное ускорение, сотрудничая с такими компаниями, как ZAN и Cysic для продвижения развертывания FPGA/GPU. Его сеть доказательства ProverNet также имеет интересное значение. Это децентрализованный рынок, связывающий стороны, нуждающиеся в доказательствах, и поставщиков вычислительных мощностей. Доказатели должны заложить токены $PROVE, чтобы участвовать, получая задачи через механизм аукциона, и получать вознаграждение после завершения доказательства. Такой дизайн обеспечивает безопасность сети и снижает стоимость доказательств через рыночную конкуренцию. С момента запуска основной сети прошло не так много времени, и уже обработано более 5 миллионов доказательств, а защищенные активы превышают 40 миллиардов долларов. С инвестиционной точки зрения, Succinct в марте 2024 года собрал 55 миллионов.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Succinct Labs недавно произвела фурор в области zk-SNARKs. У этой команды довольно крепкий бэкграунд, ключевые участники приходят из MIT и Google Brain, и они занимаются не чисто теоретическими исследованиями, а реальной инфраструктурой — открытым исходным кодом zkVM под названием SP1 и децентрализованной сетью доказательств ProverNet.
Сначала посмотрим на техническую сторону. Основная особенность SP1 zkVM заключается в том, что он дружелюбен к разработчикам. Он позволяет вам писать программы на таком распространенном языке, как Rust, а затем автоматически генерирует zk-SNARKs, избавляя от необходимости углубляться в криптографию или изучать специализированный дизайн схем. Это значительно снижает барьер для разработчиков. В плане производительности также неплохо, в бенчмарках Celestia он оказался быстрее RISC Zero примерно в 26 раз и поддерживает аппаратное ускорение, сотрудничая с такими компаниями, как ZAN и Cysic для продвижения развертывания FPGA/GPU.
Его сеть доказательства ProverNet также имеет интересное значение. Это децентрализованный рынок, связывающий стороны, нуждающиеся в доказательствах, и поставщиков вычислительных мощностей. Доказатели должны заложить токены $PROVE, чтобы участвовать, получая задачи через механизм аукциона, и получать вознаграждение после завершения доказательства. Такой дизайн обеспечивает безопасность сети и снижает стоимость доказательств через рыночную конкуренцию. С момента запуска основной сети прошло не так много времени, и уже обработано более 5 миллионов доказательств, а защищенные активы превышают 40 миллиардов долларов.
С инвестиционной точки зрения, Succinct в марте 2024 года собрал 55 миллионов.