Popularne tematy
#
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.
Jordi Baylina - baylina.eth
Programista blockchain, fan Ethereum, haker w białym kapeluszu i bojownik o wolność Katalonii. Obecnie buduje ZisK.
Użytkownik Jordi Baylina - baylina.eth udostępnił ponownie
Neutralna ocena różnych implementacji #zkVM ujawnia spostrzeżenia dotyczące ich projektu i wydajności. Analiza ZisK zakończona. @jbaylina @ziskvm
🧐 Oprócz niesamowitego emulatora, ZisK ma następujące funkcje:
🔹 Równoległość CPU/GPU: #CPU zajmuje się generowaniem świadków, podczas gdy #GPU zarządza generowaniem dowodów, działając równolegle. 💻✨
🔹 Prawie 100% wykorzystania GPU: Dzięki niezależnym obwodom (główny, pamięć, ram itp.) oraz dystrybucji zadań za pomocą wielowątkowości + wielostrumieniowości. 🚀
Top 3 jądra GPU (zużycie czasu):
🔹 computeExpressions: 40%. ⏱️
🔹 br_ntt_8_steps: ~20%. ⏱️
🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️
Możliwości optymalizacji:
🔹 Dla br_ntt_8_steps:
· Ponowne wykorzystanie czynników twiddle w różnych jądrach (obecnie regenerowane za każdym razem). ♻️
· Dodanie jądra NTT native-to-bit-reverse, aby wyeliminować zbędne kroki bit-reverse podczas zatwierdzania. ⚙️
🔹 Dla computeExpressions:
· Zasoby GPU są w pełni wykorzystane. Przyszłe zyski mogą wymagać optymalizacji operacji klucza dowodowego dla efektywności. 🔍
Zgadnij, który zkVM przeanalizujemy następnie? 🤔 @eth_proofs
1,48K
To jest kluczowy kamień milowy w kierunku formalnej weryfikacji zk provers — istotny krok w budowaniu zaufania i weryfikowalności w całym ekosystemie ZK.
6 sie, 23:43
🚨 Znaleziono dwa krytyczne błędy w ZisK przy użyciu CIVER 🚨
W ramach współpracy z zespołem deweloperskim @ziskvm, grupa Costa stosuje metody formalne do weryfikacji obwodów rekurencyjnych/agregacyjnych ZisK.
🔗Więcej szczegółów tutaj:
🧵
2,06K
Ta wersja jest w pełni otwartym źródłem, zapewnia bezpieczeństwo na poziomie 128 bitów i potwierdza bloki #ethereum w czasie rzeczywistym.
11 lip 2025
📢 Właśnie wydaliśmy Zisk v0.9.0 — ważną aktualizację z wieloma ulepszeniami, optymalizacjami i poprawkami błędów.
To znaczący krok naprzód, a my nieustannie kontynuujemy poprawę.
📦
#ZK #zkVM #Ethereum #Zisk @eth_proofs
4,21K
Użytkownik Jordi Baylina - baylina.eth udostępnił ponownie
Cieszę się, że Jordy Baylina domaga się wspólnego standardu — bezpieczeństwa 128-bitowego. Czuję jednak potrzebę dodania, że ma to znaczenie tylko wtedy, gdy jest matematycznie weryfikowalne, tzn. bez zaufania! Zaufana konfiguracja, moim zdaniem, to w zasadzie bezpieczeństwo 80-bitowe.
9,68K
Użytkownik Jordi Baylina - baylina.eth udostępnił ponownie
We're hosting our first ZisK community call.
Session focused to devs working on real-time proving.
What to expect:
– Deep dive into ZisK architecture and constraint system
– Live Q&A with @jbaylina
– Hands-on examples of working with ZisK
Register now :
2,59K
Użytkownik Jordi Baylina - baylina.eth udostępnił ponownie
Spędziłem wspaniałą noc @EthCC z dużo mądrzejszymi ludźmi ode mnie: architektem @ethereum @drakefjustin i ZKatooor @jbaylina (członkiem grupy białych kapeluszy DAO ethereum, a jeśli się nie mylę, to również hacku parity).
Dzięki @ekang426 za zorganizowanie świetnej kolacji!
12,45K
W @ziskvm teraz udowadniamy bloki Ethereum w czasie rzeczywistym — open source i działające na coraz bardziej wydajnej infrastrukturze.
To wczesny, ale znaczący kamień milowy.
Dołącz do mnie dzisiaj o 13:00 na EthCC, Redford Stage, aby dowiedzieć się więcej.
#EthCC #ZK #Ethereum #zkVM @eth_proofs
19,51K
Najlepsze
Ranking
Ulubione