Никакая прозрачная цепочка не может обеспечить настоящую конфиденциальность. Нам пришлось создать стек от начала до конца, специально предназначенный для этого. Почему бы не форкнуть Ethereum или не построить на том, что уже существует? Потому что ZK не работает с архитектурой, предназначенной для публичного выполнения. Это требует совершенно другой основы, которую традиционные блокчейны не могут поддерживать. Все начинается с виртуальной машины. EVM была разработана для публичного выполнения в цепочке, в то время как snarkVM компилирует программы в zkSNARK цепи, которые выполняются вне цепочки и проверяют доказательства в цепочке. Это принципиально разные вычислительные модели. Leo существует, потому что нам нужен был язык, в котором конфиденциальность обеспечивается на уровне системы типов. Когда вы объявляете приватные данные, компилятор гарантирует, что они останутся приватными на протяжении выполнения. Solidity и Rust не могут этого сделать, потому что они никогда не были созданы с конфиденциальностью как основной концепцией.

Конфиденциальность никогда не должна быть изолированной. Чтобы частная экосистема действительно работала, каждый компонент цепочки должен сохранять конфиденциальность по умолчанию. Наше главное внимание в Aleo сосредоточено на создании полной экосистемы, где частный фундамент является стандартной средой для всей финансовой активности наших пользователей.

Это отражает четыре десятилетия исследований ZK, но реальное принятие только начинается. Технология развивалась быстрее, чем рынок успевал понять ее полный потенциал.