=нуль; Фонд каже, що його нове програмне забезпечення є ракетним паливом для розробників із нульовими знаннями

=нуль; Фонд, ст стартап інфраструктури блокчейну з грайливою назвою, у четвер представив набір інструментів, який, за її словами, радикально скоротить час, який знадобиться розробникам для створення платформ, які використовують криптографію з нульовим знанням.

Новий проект від =nil; називається zkLLVM, призначений для роботи в якості компілятора для розробників, які створюють схеми з нульовим знанням – химерні алгоритми, які дозволяють комусь гарантувати, що щось правдиве, не проходячи через кроки, щоб довести це.

Технології ZK існує з 1980-х років, але його застосовність до Крипто – яка варіюється від Політика конфіденційності транзакцій до масштабування блокчейна – за останні роки сприяла своєрідному ренесансу ZK. Прорив у дослідженнях ZK привів сотні мільйонів у фінансування таких стартапів, як Матерія Лабораторії, StarkWare і Mina які розробляють блокчейн-інфраструктуру на основі ZK, а минулого тижня CoinDesk повідомив, що =нуль; мав зібрав 22 мільйони доларів створити власний набір продуктів із нульовим знанням.

Комаров каже =нуль; створив zkLLVM, щоб значно зменшити робоче навантаження для розробників ZK, дозволяючи їм легко перетворювати код, написаний на знайомих мовах програмування, як-от C++ і Rust, у повністю робочі схеми з нульовим знанням.

Написання схеми з нульовим знанням, як правило, є складним, своєчасним завданням для розробників. Це, як правило, передбачає ознайомлення з нішевими мовами програмування та вибагливими, предметно-спеціальними бібліотеками програмного забезпечення.

LLVM, що розшифровується як «віртуальна машина низького рівня», відноситься до набору бібліотек з відкритим вихідним кодом, які розробники використовують для «компіляції» свого зрозумілого людині коду у формат, який може інтерпретувати комп’ютер. Створюючи проект LLVM, «ми створили компілятор з основних мов, які вже відомі всім» = нуль; засновник Михайло Комаров розповів CoinDesk.

Проект zkLLVM також автоматично підключатиметься до =nil; нещодавно оголошено ZK proof market, створений, щоб допомогти командам ZK децентралізувати свої операції та передати певні види обчислень третім особам.

Читайте також: =нуль; Фонд залучає 22 мільйони доларів для створення ринку доказів із нульовим знанням

=нуль; Foundation випустив проект у четвер на Github під ліцензією з відкритим кодом, тобто будь-який розробник може вільно використовувати або змінювати код zkLLVM.

=нуль; Фонд каже, що його Технології буде особливо корисною для безлічі компаній, які змагаються за створення так званих zkEVMs, своєрідне рішення для масштабування Ethereum , яке використовує Технології ZK для скорочення комісій блокчейну та часу очікування.

На прикладі платформи zkEVM Scroll Комаров пояснив, що «вони будували свої схеми вручну» за допомогою спеціальної програмної бібліотеки, розробленої для мови програмування Rust. «Вони витратили на це десь півтора року, і ще чималі гроші», — сказав Комаров. «Якби вони мали доступ до того, що ми зробили BIT раніше, можливо, вони могли б витратити лише пару місяців, щоб просто створити та налагодити речі».

Читайте також: Раптове зростання EVM-сумісних ZK Rollups

ZK-схеми все частіше використовуються для забезпечення FLOW цінних цифрових активів, а це означає, що помилки програмування можуть виявитися надзвичайно дорогими. Комаров визнав CoinDesk , що zkLLVM потрібно буде довести себе, перш ніж заслужити довіру розробників. Коли попередня версія кодової бази zkLLVM просочилася в Інтернет, деякі розробники сказали вони б з обережністю довіряли можливостям генерації схем =nil;, враховуючи складність коду.

Комаров також зазначив, що наразі zkLLVM має обмеження, коли справа доходить до роботи з особливо великими схемами – програмами, які складніше перевести у форму з нульовим знанням. Однак він сподівається, що кодова база zkLLVM дозріє до точки, коли розробники зможуть нарешті перестати думати про дрібниці створення ZK-схем і зосередитися на інших частинах свого програмного забезпечення.