Sources
Loading...
Additional media
Loading...
DeepNewz, mobile.
People-sourced. AI-powered. Unbiased News.
How zkVMs and formal verification aim to enhance blockchain security, with the Ethereum Foundation's efforts potentially impacting broader fields. https://t.co/HiKARjhnAb https://t.co/YkEjkWr2WY
End-to-end distributed proving That means web, mobile and CLIs; anyone can contribute compute to generate proofs for the zkVM Verifiable computation on a truly global scale https://t.co/QAC4JEBImD
Excited to launch the world's first open zkVM-based prover network! It’s early days, and while we’re transparent about current performance, we’re not here to fudge the numbers. Real results – we're proud to build Nexus in the open, improve together, and lay the foundation for the… https://t.co/s3UVVZe2zN
The blockchain and smart contract ecosystem is witnessing significant advancements with the introduction of new technologies and integrations. HashEx has secured $3.4 billion in assets over six years, providing detailed fixes and free rechecks post-audit. Risc Zero's Steel, an EVM smart contract prover, offers offchain execution cost reductions and has been audited by Veridise Inc. Alchemy Platform has integrated Succinct Labs' SP1, a zero-knowledge proof system with 100% EVM equivalence, 1-hour finality, and 1-click generation on a decentralized prover network. Additionally, Risc Zero's zkVM and Celestia are powering Hashflow's xOS, enabling provable exchanges with high performance and security. Nexus Labs has launched the first open zkVM-based prover network, Nexus Network, supporting web, mobile, and CLI provers with a global network throughput of 10Hz and full E2E zkVM distributed proving.
