На прошлой неделе на Binance HODLer стартировал airdrop $LA. После получения airdrop я провел небольшое исследование и решил записать и поделиться результатами. Как проект ZK, основной продукт Lagrange — это верификация вычислений или анализа данных вне цепи, создающая доказательство того, что «результат определенного вычисления вне цепи является надежным», обеспечивая связь между данными на цепи 🆚 вне цепи. Хотя это тоже ZK-технология, она сильно отличается от решения по масштабированию L2 zkRollup. zkRollup — это пакетная верификация транзакций L2 на L1, что представляет собой взаимодействие между цепями. Приведем пример 🌰 Когда мы участвуем в ранних проектах Web3, мы обычно вносим много данных, таких как объемы торгов, баллы и т. д. Обычно во время TGE проекта все пользователи оцениваются проектом на основе вычислений вне цепи, что приводит к высоким затратам на доверие в сообществе, и проекту сложно доказать отсутствие манипуляций, что иногда приводит к несправедливым случаям airdrop. Но если мы хотим перенести все эти данные на цепь и распределить токены по вкладам, стоимость вычислений на цепи будет очень высокой. Решение @LagrangeDev может решить подобные проблемы, позволяя проводить анализ данных вне цепи, например, сначала запрашивая объем торгов всех пользователей за все время, а затем создавая нулевое знание доказательства «каждый торговал xxx USDC», а затем проверяя это доказательство на цепи. Весь процесс прозрачен, и каждый пользователь может проверить. Когда верификация на цепи проходит, срабатывает смарт-контракт, который распределяет соответствующий airdrop каждому пользователю. У Lagrange есть три основных продукта: DeepProve, ZK Prover Network и ZK Coprocessor, каждый из которых имеет свои уникальные сценарии использования. Например, основной сценарий ZK Coprocessor — это обеспечение справедливости airdrop, в то время как DeepProve больше предназначен для проверки надежности результатов AI. Все они используют ZK-технологии для решения задач верификации на цепи и могут комбинироваться в некоторых сложных сценариях. В целом Lagrange похож на «нотариальную контору» на цепи, а ZK-технология — это нотариус.