Нейтральна оцінка різноманітних впроваджень #zkVM дозволяє отримати уявлення про їх дизайн та продуктивність. Аналіз ZisK завершено. @jbaylina @ziskvm 🧐 Крім приголомшливого емулятора, ZisK має такі особливості: 🔹 Паралелізм центрального та графічного процесорів: #CPU обробляє генерацію свідків, тоді як #GPU керує генерацією доказів, працюючи одночасно. 💻✨ 🔹 Майже 100% використання графічного процесора: Завдяки незалежним схемам (основна, мем, оперативна пам'ять тощо) та розподілу завдань за допомогою багатопоточності + багатопотокового використання. 🚀 Топ-3 ядер графічних процесорів (споживання часу): 🔹 computeExpressions: 40%. ⏱️ 🔹 br_ntt_8_steps: ~20%. ⏱️ 🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️ Можливості оптимізації: 🔹 Для br_ntt_8_steps: · Повторно використовуйте коефіцієнти twiddle у всіх ядрах (наразі повторно генеруються щоразу). ♻️ · Додайте власне ядро NTT зі зворотним зв'язком від рідного до біта, щоб усунути зайві кроки зі зворотним бітом під час комітів. ⚙️ 🔹 Для computeExpressions: · Ресурси графічного процесора використовуються в повній мірі. Майбутні прибутки можуть вимагати оптимізації роботи ключа доказу для ефективності. 🔍 Вгадайте, який zkVM ми розберемо далі? 🤔 @eth_proofs