Курс Mina Protocol

Позвольте мне рассказать вам историю. Середина 2023 года. Я только что решил начать Fermah. Я созвонился с несколькими людьми, которым я глубоко доверяю, включая Амита Сахая, всемирно известного криптографа, внесшего фундаментальный вклад в пространство ZK. Я поделился видением: ZK должен быть простым для разработчиков. Никто не должен бороться с настройкой инфраструктуры доказательства и её оптимизацией; они должны просто делегировать процесс доказательства платформе, которая всё сделает. Амит: "А как насчёт данных свидетелей? Как можно доверять случайным GPU с чувствительными данными свидетелей?" Я: "Большинство приложений, которые сегодня находятся в производстве, даже не используют часть ZK, связанную с нулевым знанием, — только краткость." Амит засмеялся: "Так это как ZK без ZK! А что делают приложения, которые заботятся о конфиденциальности, для генерации доказательств?" Я: … После звонка у меня было много встреч, и я был беспокоен весь день. Я написал Амиту что-то вроде: "Технология ZK, недоступная тем, для кого она изначально была разработана, — это дико. Но я не уверен, что сейчас подходящее время для создания решения. Мне нужно провести исследование рынка." Итак, я начал с простого подхода: Шаг 1. Составить список приложений, которые начинают показывать потенциал стать огромными Шаг 2. Посмотреть, какие из них нуждаются в ZK с конфиденциальностью Конечно, два из ведущих приложений были ZK-identity и zkTLS. Позвольте мне быстро рассказать, почему я был уверен в них, прежде чем продолжить историю. Я был поражён тем, насколько убедительным является доказательство личности для обеспечения безопасного будущего, управляемого ИИ, — и как Сэм Альтман, ведущий в области ИИ, подчеркнул необходимость ZK-identity с @worldcoin. zkTLS — это более личная история. Я присоединился к этому направлению, когда в нём было всего пара человек. Это было около 5 лет назад. Я возглавил продукт и реализацию проекта zkTLS в @MinaProtocol. Уже тогда я понимал, что придёт время, когда принятие криптовалют будет стимулироваться за счёт использования уже существующего принятия — Web2. И этот мост — zkTLS. Я был убеждён, что мы должны это решить. Было ясно, что нам нужно идти по пути MPC — FHE всё ещё слишком оптимистичен для такой тяжёлой работы. Я углубился в научные статьи и наткнулся на совместную работу Дэна Боне и Алекса Оздемира по SNARKs и последующие исследования. Идея заключалась в том, что несколько машин выполняют генерацию доказательств через протокол MPC, гарантируя, что ни одна машина не имеет доступа к чувствительным данным. Перенесёмся в октябрь/ноябрь 2023 года, я обсуждал всю концепцию Fermah с Дэном. Было прекрасно получить его благословение на Fermah и его видение. С этого момента я продолжил привлечение начального финансирования с основной идеей: создать то, чем Fermah известен сегодня — универсальный рынок доказательств — и добавить золотую вишенку сверху: MPC-zkVM. Моё видение — создать ZKVM, который будет дружелюбен к MPC и изначально включать конфиденциальную делегацию доказательств. Идея такова: A. Разработчики могут писать вычисления на популярных языках, таких как Rust B. Им не нужно беспокоиться о UX — больше никакого доказательства на стороне клиента C. Им не нужно управлять инфраструктурой доказательства Их клиенты просто отправляют транзакцию "докажите это с конфиденциальностью" в Fermah — и получают доказательство, сгенерированное конфиденциально Это суть нашего протокола Confidential Proving Delegation (CPD). Я рад поделиться нашими первыми шагами к этому видению: CPD для доказательств Groth16 — всё ещё одной из самых широко используемых систем доказательств. Мы стоим на плечах гигантов: - @Ingo_zk 's Icicle, который ускоряет доказательства на GPU - Taceo, который принёс MPC в Circom - Boneh-Ozdemir, которые добавили MPC в Arkworks Наш протокол CPD работает в тандеме с уровнем сопоставления Fermah, чтобы предложить полное решение для всех, кто строит с учётом ZK и конфиденциальности. Мы также невероятно благодарны @worldcoin за веру в это видение на раннем этапе. Они предоставили нам грант на исследование CPD для системы доказательств Remainder, что было особенно значимо, учитывая, насколько мы в Fermah уверены в ZK-identity. Огромное спасибо @recmo и @DCbuild3r за их поддержку и доверие. Мы также благодарны удивительным @nico_mnbl, Райану и Даниэлю из бывшей Modulus Labs, а теперь в World, за то, что они были нашей опорой! Мы уже работаем с несколькими феноменальными клиентами и будем рады помочь всем, кто разделяет видение ZK с конфиденциальностью. Вперёд!

Сегодня конфиденциальность возрождается Представляем делегирование конфиденциального доказательства (CPD) С помощью CPD Fermah приносит конфиденциальность в любую цепочку или виртуальную машину