House of ZK Radio #61: Максим Везєнов, розробник Aztec - вже вийшов на Spotify і YouTube 🔳 У цьому епізоді ми сідаємо з @maximvezenov, інженером-компілятором у @aztecnetwork, щоб дослідити технічне проектування @NoirLang - предметно-специфічної мови для запису схем ZK. Ми охоплюємо: • Філософія дизайну Noir та backend-агностична архітектура • Компроміси між шарами абстракції ZK (DSL проти zkVM проти рукописних схем) • Як Noir поводиться з конфіденційністю, необмеженим виконанням і безпечною композицією схеми • Оптимізація обмежень за допомогою функцій чорного ящика, оракулів і профайлера Aztec • Роль приватної держави в дизайні додатків і чому більша частина роботи полягає в інфраструктурі, а не в схемі • Практичні інсайти про рекурсію, інструменти розробника та що буде далі з Noir post-1.0 Дізнайтеся все про створення масштабованих додатків із збереженням конфіденційності за допомогою сучасних інструментів ZK. Spotify: Ютуб:
1,39K