#newt $NEWT
Большинство систем с нулевым разглашением заставляют меня идти на мучительный компромисс: сначала напиши логику моей политики, а затем отдельно спроектируй пользовательскую схему только чтобы сделать её доказуемой.
Этот дополнительный шаг замедляет всё и создаёт пространство для ошибок между тем, что говорит моя политика, и тем, что на самом деле доказывает схема.
Протокол Newton решает это иначе и честно — именно поэтому я снова и снова к нему возвращаюсь.
Вместо того чтобы вручную собирать схемы для каждого правила, Newton компилирует весь движок вычисления политики Rego напрямую в целевую архитектуру RISC-V.
Rego — это тот же открытый язык политики, который используется в OPA (Open Policy Agent), которому я уже доверяю в инфраструктуре облака и системах комплаенса.
Ориентируя на RISC V, Newton по сути превращает универсальный движок вычислений в вычисление, которое можно строго доказать.
Результат, который я вижу:
каждая политика, которую я пишу на Rego, автоматически становится ZK-доказуемой — без проектирования пользовательских схем, без отдельного конвейера доказательств и без ручного слоя перевода на моей стороне.
Независимо от того, это проверка KYC, санкционный скрининг или правило лимита расходов — та же логика вычисления, которая запускает мою политику, может также генерировать проверяемое доказательство того, что она выполнилась корректно.
Для меня это важнее всего во время споров.
Когда оппонент оспаривает аттестацию оператора,
мне не нужно ничего строить заново — я просто запускаю тот же движок Rego, и из этого выполнения получается валидное ZK-доказательство.
Для меня реальная разгадка — в этом:
комплаенс и криптографическая верифицируемость становятся одним и тем же процессом, а не двумя разными.
@NewtonProtocol $NEWT #Newt
Большинство систем с нулевым разглашением заставляют меня идти на мучительный компромисс: сначала напиши логику моей политики, а затем отдельно спроектируй пользовательскую схему только чтобы сделать её доказуемой.
Этот дополнительный шаг замедляет всё и создаёт пространство для ошибок между тем, что говорит моя политика, и тем, что на самом деле доказывает схема.
Протокол Newton решает это иначе и честно — именно поэтому я снова и снова к нему возвращаюсь.
Вместо того чтобы вручную собирать схемы для каждого правила, Newton компилирует весь движок вычисления политики Rego напрямую в целевую архитектуру RISC-V.
Rego — это тот же открытый язык политики, который используется в OPA (Open Policy Agent), которому я уже доверяю в инфраструктуре облака и системах комплаенса.
Ориентируя на RISC V, Newton по сути превращает универсальный движок вычислений в вычисление, которое можно строго доказать.
Результат, который я вижу:
каждая политика, которую я пишу на Rego, автоматически становится ZK-доказуемой — без проектирования пользовательских схем, без отдельного конвейера доказательств и без ручного слоя перевода на моей стороне.
Независимо от того, это проверка KYC, санкционный скрининг или правило лимита расходов — та же логика вычисления, которая запускает мою политику, может также генерировать проверяемое доказательство того, что она выполнилась корректно.
Для меня это важнее всего во время споров.
Когда оппонент оспаривает аттестацию оператора,
мне не нужно ничего строить заново — я просто запускаю тот же движок Rego, и из этого выполнения получается валидное ZK-доказательство.
Для меня реальная разгадка — в этом:
комплаенс и криптографическая верифицируемость становятся одним и тем же процессом, а не двумя разными.
@NewtonProtocol $NEWT #Newt