Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Vanishree Rao
Засновник @fermah_xyz | 15 років і відлік у проектуванні та будівництві ЗК | Доктор філософії з криптографії в Каліфорнійському університеті в Лос-Анджелесі | Режим мами-ведмедиці
Користувач Vanishree Rao поділився
Я вважаю, що робочі процеси абстрактного доведення вже тут; видно в позаланцюгових обчисленнях zkProofs та агрегації цих доказів. Оскільки процес є асинхронним, це дозволяє ланцюжку продовжувати обробку інших операцій, подібно до того, як працюють деякі хмарні сервіси.
Він уже тут.
Коли доведення стане масштабованим і еластичним, обчислювальні ресурси будуть використовуватися краще, і ми побачимо більш високу апаратну ефективність і продуктивність. @fermah_xyz

428
Користувач Vanishree Rao поділився
Ласкаво просимо назад до Learning Fermah with Justified, де ми розбиваємо великі питання ZK простою, повсякденною мовою. Просто реальні розмови про нульове знання і про те, як @fermah_xyz формує майбутнє. Давайте зануримося в сьогоднішнє питання.
А тепер ось велика з класу:
Чи можуть робочі процеси абстрактного доведення стати лямбдою AWS від ZK? Занадто далеко чи вже тут?
Давайте розберемося. AWS Lambda змінила правила гри, дозволивши розробникам запускати код без керування серверами. Все стало швидшим, легшим і масштабованішим. У світі ZK вже відбувається той самий зсув, і Ферма знаходиться прямо в його центрі.
До цього часу генерація доказів ZK означала роботу зі складними налаштуваннями, дорогим обладнанням і безліччю головних болів з оптимізації. Але @fermah_xyz це перевертає. Він надає розробникам простий API для підключення, а за лаштунками він обробляє все апаратне забезпечення, підбір, оптимізацію та навіть конфіденційну перевірку.
Ось що робить його схожим на AWS Lambda від ZK на вимогу, масштабований і зручний для розробки. У міру того, як це стане нормою, ми побачимо, що все більше проєктів зосереджуватимуться на логіці свого продукту, а не на доказовій інженерії. Доведення стає тим, що ви «називаєте», а не тим, що ви «будуєте». І як тільки вона досягне справжньої масштабованості та еластичності хмарного рівня, вся екосистема ZK зростатиме швидше.
Стартапи можуть створювати додатки ZK, не потребуючи глибоких команд криптографії. Великі гравці можуть масштабувати докази з меншими витратами. Ферма робить це майбутнє реальним, абстрагуючись від складності та відкриваючи двері для масового впровадження. Це не просто зручність, це каталітичний зсув.
Це те, що будує @vanishree_rao ініціатора та команда
Гферма 💚

360
Обожнюю запис, @Da_justified

Justified17 лип., 19:02
Якщо ви коли-небудь пробували працювати з доказами ZK, ви знаєте, наскільки брудним, дорогим і інтенсивним обладнанням це може бути. Ось тут і з'являється @fermah_xyz.
Fermah — це платформа, яка допомагає проєктам швидко, дешево та надійно генерувати докази з нульовим розголошенням. Вам не потрібно турбуватися про складність серверної частини. Просто викличте API, і все готово.
Думайте про Fermah як про посередника між людьми, яким потрібні докази (наприклад, додатки та блокчейни), і людьми, які генерують докази (використовуючи графічні процесори, FPGA тощо). Це як Uber, але для доказу.
За своєю суттю Ферма є універсальним доказовим шаром. Він підтримує всі типи ZK-систем: zkEVM, zkVMs, Groth16, STARKs тощо. Тож незалежно від того, чи створюєте ви за допомогою zkSync, Polygon чи Jolt, @fermah_xyz прикриєте вашу спину.
Але на цьому вони не зупинилися. Вони також запровадили так звану конфіденційну делегацію з доказів (CPD). Новий спосіб приватного створення доказів. Ніхто не бачить даних вашої схеми, навіть людина, яка це доводить. Це ефективно для додатків, орієнтованих на конфіденційність.
І так, fermah нещодавно довела блок zkSync у тестнеті. Це величезний крок до прийняття в реальному світі.
За спиною Ферми – команда світового рівня. Очолюваний Ванішрі Рао, експертом ZK зі ступенем доктора філософії в галузі криптографії, і підтримується такими відомими іменами, як a16z, Celestia та Aztec. (Я хочу виправитися @vanishree_rao на ацтеків 😅 )
Місія? Щоб доведення ZK було таким же простим і доступним, як відправка твіту.
Це лише початок. Fermah формує майбутнє децентралізованого доведення. Якщо ви дбаєте про масштабування, конфіденційність або будівництво в просторі ZK, вам варто стежити за ними.
Гферма 💚

540
.@lagon20ms занурення на глибину! Так тримати.
БПР прекрасний тим, що це безперечно цінна добавка.

h16 лип., 19:50
КПД Ферми
Як ми всі знаємо, я дізнався про @fermah_xyz в останні кілька днів, і ця частина дійсно привернула мою увагу:
конфіденційне доведення делегування (БПР)
Ось як Fermah дозволяє вам розвантажувати завдання Zk Proof без втрати ваших даних
Розумієте, доведення – це важка праця.
А для додатків, орієнтованих на конфіденційність, це ще складніше
Ви хочете делегувати роботу, але не зливати конфіденційну інформацію.
БПР вирішує це;
з CPD ви подаєте підтвердження вакансії
Він розколюється і збивається, перш ніж дістатися до будь-якого провера
Мережа може довести ваші обчислення, навіть не бачачи ваших необроблених даних.
Проповідник не знає повного свідка
Вони не знають, які цінності доводять
Вони просто знають:
"Це вірно, і ось доказ, щоб це показати"
Це конфіденційність у масштабі
Ви отримуєте обчислювальну потужність тоді, коли вона вам потрібна
І ніхто не бачить зсередини вашої доказової роботи, якою б вона не була.
CPD @fermah_xyz в даний час працює для Groth16,
На черзі такі zkVM, як Risc Zero, SP1 та інші
Це відкриває величезну частину стека ZK
Це приватне підтвердження та відсутність довіри за задумом
Саме так має почуватися ZK Infra
масштабований, невидимий і побудований навколо користувача.
Ви просто пишете логіку
Все інше робить мережа.

102,43K
Користувач Vanishree Rao поділився
Найбільші успіхи відбуваються в тиші
Найбільш новаторські досягнення в будь-якій технологічній галузі часто народжуються в тиші, завдяки партнерствам, сформованим за зачиненими дверима, та інноваціям, розробленим далеко від центру уваги.
Справжній прогрес не завжди шумить спочатку. Але коли вона нарешті спливає на поверхню, вона стрясає світ.
У випадку з простором ZK, те, що ми спостерігаємо сьогодні, вибуховий інтерес, імпульс, тяга не з'явилися просто так. Це результат багаторічних спокійних, послідовних зусиль.
Починаючи з фундаментальної роботи таких проєктів, як Zcash, ZKSync і не тільки, цей рух будувався цеглина за цеглинкою. Нинішня хвиля можлива лише завдяки вже закладеному фундаменту.
Сьогодні Ethereum і його засновник Віталік Бутерін докладають зусиль до перетворення всього блокчейну Ethereum в систему на базі ZKEvm. Але навіть це бачення глибоко вкорінене в подорожі ZKP, яка почалася багато років тому.
Тим не менш, занадто довге мовчання може стати проблемою. У світі, де увага – це валюта, надмірна тиша може виглядати як застій.
Є така приказка: удача – це те, що відбувається, коли підготовка зустрічається з можливістю. Але можливості часто з'являються, коли люди знають, що ви будуєте.
Тому, будуючи в тиші, не бійтеся шуміти. Покажіть, що ви створюєте.
І з нещодавнім оголошенням між @fermah_xyz x @mintairxyz, які активно підтримують ринок доказів @fermah_xyz з ранніх етапів, і вони подвоюють цю співпрацю в міру наближення fermah до основної мережі.
Нехай люди, спільноти та блокчейни, які одного дня покладатимуться на ваші інновації, знають, що ви існуєте, що ви працюєте, експериментуєте та розширюєте межі.
Підсумовуючи, можна сказати, що основою ZKP завжди була їхня закулісна метушня: тиха напрацювання, невдалі експерименти, невпинне тестування та розумне партнерство. Те, що ми бачимо сьогодні – це не удача, а спадщина в русі.
@PranitGarg

1,03K
Користувач Vanishree Rao поділився
Сьогодні понеділок, і що може бути кращим способом почати тиждень, ніж написати про @fermah_xyz!
Так що ж таке Ферма
Fermah — це, по суті, маркетплейс zkproof, що з'єднує тих, кому потрібні докази з нульовим розголошенням (шукачі), і ті, хто генерує докази (Provers). Думайте про це як про Uber, який з'єднує водіїв із людьми, яким потрібні поїздки, ефективно підбираючи їх до водіїв поблизу.
P.S.: це перший у своєму роді 🫠
Як таке взагалі можливо
Я знаю, про що ви думаєте, у мене теж було таке ж питання, тому я прочитав документи і був такий схвильований, що прийшов поділитися ним.
Отже, в основі технології Fermah лежать три важливі компоненти:
- вузли пошуку
- Сват (основний)
- Вузли Ровера
Сват – ось де починається найцікавіше
Розумієте, те, чого @vanishree_rao намагається досягти тут, це надати всім і кожному доступ до використання будь-якої системи доказів за своїм вибором для ефективної перевірки завдань, тому Fermah не залежить від доказів. Він підтримує всі основні системи доказу від RISC Zero @boundless_xyz , @SuccinctLabs SP1, Jolt від @a16zcrypto, Valida від @0xLita, Stwo від @StarkWareLtd зі швидким розширенням для @aztecnetwork системи захисту, @NexusLabs zkVM, Stone від @StarkWareLtd та всіх інших систем доказу, які можуть бути винайдені в майбутньому. Розробникам більше не потрібно налаштовувати свої програми відповідно до системи доказів причин ланцюга, ви можете будувати на БУДЬ-ЯКОМУ ланцюжку, і вашим доказом керуватиме Fermah
Те, що робить сват (як випливає з назви), - це організовує роботу по всій мережі. Принцип роботи полягає в наступному:
- спочатку перевіряє параметр запиту
- потім інтелектуально підбирає завдання для оптимального вузла на основі необхідного обладнання, вартості та критеріїв продуктивності
Вам більше не доведеться турбуватися про те, що незадіяні графічні процесори або докази генеруються занадто довго
З @fermah_xyz конфіденційність у вас під рукою!
1,22K
Користувач Vanishree Rao поділився
Я думаю, що одним із найбільших драйверів екосистеми Web3 є її здатність втілювати очікування Web2 у життя.
Користувачам завжди потрібні три важливі речі: вартість, час і безпека.
Вартість:
Зазвичай, коли ви виконуєте транзакції, скажімо, у фінансовій організації, наприклад, у банку, або навіть за допомогою платіжного порталу, вартість транзакції настільки висока, що ви або приймаєте її такою, якою вона є, або... Ви приймаєте його таким, яким він є.
Інших варіантів немає. Тому що компанія, про яку йде мова, контролює все:
Як ви надсилаєте гроші
Скільки часу потрібно, щоб дістатися
Сума, яку вам дозволено надсилати
І скільки вони з вас візьмуть
Іноді, навіть не повідомляючи вам чому, ви насправді не контролюєте ситуацію. Ви просто в системі.
Ознайомтеся з моєю статтею
@fermah_xyz @vanishree_rao @PranitGarg

410
Найкращі
Рейтинг
Вибране
Актуальне ончейн
Популярні в X
Нещодавнє найкраще фінансування
Найбільш варте уваги