RT Eli Ben-Sasson | Starknet.io (@EliBenSasson)What do I mean when I say that Cairo was created specifically for ZK?What’s the actual difference it makes for a program running on a zkVM if it’s written in Cairo versus Solidity?ZKP is not just code. You need to translate the program (i.e. the app) into math, and only then can it be processed.From Cairo to zkVM: Cairo is ZK-friendly, so it’s straightforward.From Solidity to zkVM: Solidity isn't ZK-friendly, so you'll need several steps and workarounds before ...

RT Nethermind (@Nethermind)Nethermind shipped ZK privacy infrastructure for @StellarOrg.BN254 precompiles + Poseidon + @RiscZero verifier. Live on mainnet.Any RISC Zero zkVM program can now be verified. Opens privacy solutions for a network processing billions in payments.https://t.co/KZxmmH2pHW https://t.co/5HkQB4HltJ ...

RT Sandeep | CEO, Polygon Foundation (※,※) (@sandeepnailwal)At Ethproof, away from all the marketing gimmicks and limelight @drakefjustin in his presentation crowned ZiskVM as the NUMBER 1 zkVM overall.Ranking was as follows:Rank 1 : ZiskVMRank 2 : zkSync AirbenderRank 3 : AirbenderHis analysis is based on multiple factors primarily real production-grade performance, security (128 bit), feasibility of proofs (only 300kb vs say 3MB on Airbender), Quantum resistance, verifiability of proofs and so on.@jbaylin ...

ZK Technology & Market Position - Polygon Zero 的团队构建的 ZK 技术被多个 zkVM 采用，包括 SuccinctLabs, openvm_org, brevis_zk 等 [1] - Polygon Zero 的 Plonky2 技术在发布时，比 Starkware 的最先进 prover 快 100 倍以上 [1] - Polygon 因开源 Plonky2 技术而受到赞誉，被认为是真正的公共产品 [1] Cost & Performance Considerations - 每笔交易 0.0001 美元的数字在考虑高吞吐量链的真实 proving 成本时具有误导性 [2] - 为了处理最坏情况的负载，需要过度配置资源，某些交易的 proving 成本会大幅增加 [2]

brevis proved 99.6% of ethereum blocks in 6 seconds on $256k of gpus. zkvm proving just went from $16,000 per block to $125. l2 sequencers charging millions in fees about to get disrupted by commodity hardware. ethereum 10,000 tps without rollups becomes profitable at these economics ...

RT Justin Drake (@drakefjustin)Progress toward real-time proving for Ethereum L1 is nothing short of extraordinary.In May, SP1 Hypercube proved 94% of L1 blocks in under 12 seconds using 160 RTX 4090s. Five months later Pico Prism proves 99.9% of the same blocks in under 12 seconds, with just 64 RTX 5090s. Average proving latency is now 6.9 seconds.Performance has outpaced Moore's law ever since Zcash pioneered practical SNARKs a decade ago. Today's Pico Prism results are a striking reminder of that exponen ...

Technology Advancement - ZK technology like Pico Prism enables Ethereum to scale to meet global demand while remaining trustworthy and decentralized [1] - Pico Prism, a zkVM for Ethereum real-time proving, achieves 996% of blocks proven under 12 seconds [1] - Pico Prism achieves an average proving time of 69 seconds with 64 RTX 5090 GPUs [1] Scalability & Future Implications - This marks a major step toward scaling Ethereum by 100x [1] - The advancement envisions a future where validating the chain can be done from a phone [1]

Technology & Performance - Brevis launched Pico Prism, a multi-GPU zkVM, enabling real-time Ethereum proofs on consumer hardware [1] - Tests show 99.6% completion within 12 seconds and 96.8% within 10 seconds for 45 million gas blocks, averaging 6.9 seconds [1] - Compared to SP1 Hypercube, coverage increased from 40.9% to 98.9%, average time decreased from 10.3 seconds to 6.04 seconds [1] Cost Reduction - GPU costs halved to $128 thousand [1] - Brevis plans to reduce GPU use to 16 RTX 5090s to reach 99% real-time proving [1]

Technology Advancement - Brevis' Pico Prism enters the ZK-EVM proving arena, marking a step forward in proving speed and diversity [1] - Pico Prism, a zkVM for Ethereum real-time proving, achieves 996% of blocks proven under 12 seconds [1] - Pico Prism achieves an average proving time of 69 seconds using 64 RTX 5090 GPUs [1] Scalability & Validation - This advancement aims to scale Ethereum by 100x [1] - The technology envisions a future where chain validation can be performed from a phone [1]

Technology Development - Ethereum team has made strong progress in ensuring long-term scalability, decentralization, and resilience [1] - Key milestones on the short-term roadmap are approaching [1] - A new proposal for a minimal zkVM called "leanVM" is optimized for XMSS aggregation and recursion [1] - LeanVM uses a four-instruction ISA, multilinear STARKs, and logup lookups to significantly reduce commitment costs compared to Cairo [1]