Nexus Laboratories
анонс инвеста
- Tier 1 - Pantera Capital, DragonFly Capital,
- Tier 2 - Lightspeed Venture Partners
- Tier 3 - Faction, Blockchain Founders Fund
анонс инвеста
cryptorank
Nexus Laboratories направлен на создание системы, позволяющей проверять вычисления с помощью доказательств на основе технологий нулевого разглашения (zero-knowledge proofs). Основная цель Nexus — предложить масштабируемое решение для верифицируемых вычислений в Интернете, что позволит доказать корректность выполнения программ на любом компьютере, объединяя мощности множества устройств в единую "доказуемую" вычислительную сеть.
twitterscore (25)
Nexus zkVM (Zero-Knowledge Virtual Machine):
- Это виртуальная машина, которая способна доказать корректность выполнения любой программы. zkVM работает с большими вычислениями (например, более 1 миллиарда циклов ЦПУ) и использует параллельную генерацию доказательств.
- Важной особенностью Nexus zkVM является использование современных рекурсивных систем доказательств, которые позволяют объединять и накапливать доказательства, что упрощает процесс проверки и повышает его эффективность.
- Это минимальная и универсальная виртуальная машина, которая поддерживает различные наборы инструкций, такие как RISC-V, EVM или Wasm. Она оптимизирована для повышения производительности и поддерживает параллельные вычисления.
- Nexus строит масштабируемую распределённую сеть доказателей (provers), которая объединяет мощности различных устройств — от смартфонов до серверов с высокопроизводительными графическими процессорами (GPU).
- Сеть позволит доказательной машине zkVM обрабатывать вычисления в объёме, соответствующем коллективной вычислительной мощности сети.
Масштабируемые доказательства:
Nexus предлагает систему, которая может проверять вычисления любого масштаба, распределяя задачи среди множества устройств и агрегируя доказательства с минимальными затратами на ресурсы.
Проект использует методику доказательства, которая позволяет обходиться без SNARK, что уменьшает накладные расходы и улучшает производительность.
SNARK — это тип криптографического доказательства, который позволяет одной стороне (доказателю) доказать другой стороне (верификатору), что она провела вычисление правильно, не раскрывая никаких других деталей, кроме самого факта правильности.
Многие современные системы нулевого разглашения используют SNARK, но Nexus нашел способ обходиться без них в большинстве этапов вычислений, используя технологии folding и accumulation (сгибание и накопление доказательств).
Пользовательские сопроцессоры (co-processors):
Nexus zkVM поддерживает добавление пользовательских инструкций, которые могут ускорить выполнение специфических операций, таких как SHA-256 или подписание ECDSA.
SHA-256 - это криптографическая хеш-функция, которая преобразует входные данные любого размера в фиксированную строку длиной 256 бит. Хеш-функция не является обратимой, то есть по результату невозможно восстановить исходные данные. Это делает её полезной для хранения и передачи данных с защитой от изменений. SHA-256 Используется в блокчейнах (например, в Bitcoin) для создания "отпечатков" данных, которые сложно подделать.
ECDSA - это криптографический алгоритм цифровой подписи, который используется для проверки подлинности данных и сообщений с помощью эллиптических кривых.
Nexus Laboratories стремится снизить стоимость верифицируемых вычислений на порядки и сделать их практичным решением для массового использования. Он нацелен на то, чтобы разработчики могли легко использовать систему для защиты целостности данных и вычислений в своих приложениях.
Подробнее
Эта относится к системе Nexus 2.0. Ожидается множество улучшений отдельных компонентов, которые будут представлены в системе Nexus 3.0 и последующих циклах обновлений. Среди ожидаемых улучшений:
- Prover (доказатель): Новая (семейство) система доказательств, которая будет сочетать последние теоретические разработки в области схем свертывания (folding schemes) и аргументов поиска (lookup arguments).
- Сжатие доказательств: Вторая фаза сжатия доказательств, дополнительно к механизму сжатия доказательств O(log(n)) в Nexus 2.0, которая приведет доказательства к O(log(log(n))). Иначе говоря, это будет доказательство доказательства доказательства.
- NVM: Переработанная архитектура виртуальной машины Nexus (NVM), с упрощённым набором команд (ISA) и специализированной цепочкой инструментов компиляции, с дальнейшими оптимизациями компилятора, связанными с доказательствами.
- Система прекомпиляции: Библиотека прекомпиляций Nexus с подробными руководствами по созданию прекомпиляций с использованием R1CS, Plonkish и AIR.
- Проверка памяти: Улучшенный механизм проверки памяти, который в разы эффективнее, чем деревья Меркла, основанный на проверках перестановок и сортировке инструкций.
- Модульный компилятор: Модульная цепочка инструментов компиляции, которая разобьет компилятор Nexus на более мелкие инструменты. Разработчики смогут использовать и расширять их для поддержки новых наборов команд (ISA) и языков.
- Сеть: Глобально развернутая сеть, в которую пользователи могут вносить вычислительные ресурсы.
Roadmap
На данный момент токеномика не была опубликована.
Daniel Marin - founder/CEO - До создания Nexus Даниэль прошел стажировки в Google в 2021 году и в лаборатории искусственного интеллекта DAWN при Стэнфордском университете в 2020 году. В дополнение к этому, он является призером международных олимпиад по физике, завоевав бронзовые медали в 2018 и 2019 годах, а также золотые медали на мексиканской олимпиаде по физике в 2017 и 2018 годах. Даниэль получил степень бакалавра компьютерных наук со специализацией в области искусственного интеллекта в Стэнфордском университете в 2023 году, окончив с отличием (4.0 GPA). До этого он учился в Технологическом институте Монтеррея, где завершил программу Международного бакалавриата по теоретической физике.
Jens Groth - Chief Scientist - До Nexus Йенс занимал должность ведущего исследователя в компании DFINITY с января 2019 по ноябрь 2023 года, работая в Лондоне. Ранее, с апреля 2016 по декабрь 2018 года, он был консультантом в компании Q&I Ltd, также в Лондоне. Йенс Грот также является бывшим профессором криптологии в University College London, где преподавал и занимался исследовательской деятельностью в области криптографии с сентября 2007 по декабрь 2018 года. Ранее, с февраля 2005 по август 2007 года, он был постдокторантом в UCLA. Его академическая карьера началась с написания докторской диссертации в компании Cryptomathic, где он был аспирантом с августа 2001 по июль 2004 года, параллельно учась в Университете Орхуса, где получил степень PhD в области компьютерных наук.
Alex Fowler - Chief Strategy Officer - Параллельно является советником в Cercano и членом венчурного сообщества Plural VC. Ранее был CEO Transparent Financial Systems (2018-2023), co-founder'ом и SVP по бизнес-вопросам в Blockstream (>$400M рейза) (2014-2018), а также директором по конфиденциальности в Mozilla (2011-2014). В прошлом работал в PwC и Electronic Frontier Foundation. Окончил Брауновский университет и Университет Джорджа Вашингтона.
8 октября 2024 года, в своём твиттер аккаунте Nexus объявил о бета-версии первой распределенной сети zkVM Prover.
Мы можем запустить его прямо в браузере, а сделать это можно здесь. Всё что нам нужно это лишь нажать кнопку Connect. После того как мы перейдём на сайт, для нашего браузера будет создан так называемый Prover ID, но если мы захотим сменить браузер или очистить куки, то весь наш прогресс сбросится, поскольку будет создан новый Prover ID. Чуть позже должны добавить возможность сохранения своего прогресса, возможно появится регистрация или надо будет подключить собственный кошелёк.
Помимо этого мы можем запустить zkVM Prover через CLI, то есть на своём устройстве или же сервере.
Здесь приведён небольшой гайд.
Пока что неизвестно будет ли у Nexus собственный токен, однако как минимум здесь он смотрится хорошо, ведь нужно каким-то образом стимулировать пользователей подключать свои устройства. На данный момент zkVM Prover находится в первой фазе тестирования, поэтому способов сохранения своего прогресса пока что не добавили, но очевидно, что сделают это в скором времени. Команда проекта смотрится очень хорошо, опытные и умные ребята с достижениями, как в научном, так и в WEB3 мире.
Website / X / Discord / Whitepaper / GitHub / Roadmap / Docs / Linkedin