Проверка права на помощь
Криптографические доказательства могут подтверждать выполнение заданных условий без публикации исходных персональных данных.
INGO-SHS разрабатывается как технологическая платформа для прозрачного распределения гуманитарной помощи с криптографической проверкой операций и защитой конфиденциальных данных получателей.
Цель INGO-SHS — помочь гуманитарным организациям подтверждать корректность правил распределения и факт прохождения проверок, не превращая персональные данные уязвимых людей в публичный реестр.
Криптографические доказательства могут подтверждать выполнение заданных условий без публикации исходных персональных данных.
Уникальные nullifier-маркеры помогают выявлять повторное использование одного права в рамках заданной политики.
События и контрольные точки можно сопоставлять с правилами программы и журналом операций.
Архитектура прототипа объединяет смарт-контракт Soroban и отдельный модуль проверки доказательств Groth16. Публичная страница объясняет модель, но не подменяет независимый аудит или юридические процедуры.
Задаются условия программы и допустимые параметры.
Формируется доказательство выполнения условий без раскрытия секрета.
Verifier проверяет доказательство и публичные входы.
Контракт применяет правила и фиксирует результат.
Прозрачность не означает публикацию имён, адресов или обстоятельств получателей. Публичный аудит должен раскрывать только те сведения, которые необходимы для проверки программы.
Демонстрация имитирует последовательность проверки. Она не отправляет транзакции, не обращается к кошельку и не передаёт данные в сеть.
Результат генерируется интерфейсом и не является криптографической проверкой реального proof.
Технические материалы должны сопровождаться версиями, контрольными суммами, результатами тестов и ограничениями текущей реализации.
Компоненты, потоки данных и границы доверия.
Готовится к публикацииПубличные входы, формат proof и правила проверки.
Готовится к публикацииРезультаты тестов, известные ограничения и план проверки.
Готовится к публикации