Succinct desarrolla herramientas de prueba SNARK de alto rendimiento y verificación formal para sistemas de prueba de conocimiento cero. Su prover Flock es el más rápido para hashes estándar, y su infraestructura asegura miles de millones en volumen de puentes a través de redes como Across y Agglayer, avanzando la hoja de ruta postcuántica para Ethereum.
Noticias
I'll tell you what the actual problem is The problem is essentially threefold: 1. The market is going through a major reset which could be most closely described as a "full blown existential crisis". All those once hyped up L1s, L2s, infra pjs we were once bullish on are dead = no pmf, no userbase
good similar thoughts from @milesjennings , a lot more succinct than mine! https://x.com/milesjennings/status/2072706095907528991
This week, we have a new kid on the block in succinct proof systems: *Flock*. Really cool work from @bbuenz (@EspressoSys), @ronrothblum (@SuccinctLabs) and @kleptographic ( Flock has major implications for *aggregation* of the hash-based PQ signature schemes being considered by the EF & others �
STARKs are SNARKs. The fact they're referred to as two distinct things is a Starkware psyop S - Succinct N - Non-interactive AR - ARgument of K - Knowledge S - Scalable (better prover asymptotics) T - Transparent (no trusted setup) ARK - same STARKs, if they are distinct, are a subset of SNARKs
Espresso 发文称，由 Espresso 首席科学家 Benedikt Bünz、Succinct 的 Ron Rothblum 及 NYU 博士生 William Wang 共同创建的 Flock 是一款面向批量布尔计算的新 SNARK，被称为目前最快的 SNARK prover。基准测试显示，在搭载 Apple M4 Max 的消费级笔记本上，Flock 每秒可证明 66.1 万次 Blake3 压缩、33.8 万次 SHA-256 压缩和 25.2 万次 Keccak 置换，证明大小低于 450KB，验证时间低于 4 毫秒；但目前仍为研究原型，尚未准备好用于生产环境。 wublo
We Just Broke the Speed Limit on SNARK Proving. Flock, co-created by Espresso Chief Scientist Benedikt Bünz, Succinct’s Ron Rothblum, and NYU’s William Wang, is the fastest SNARK prover…
EIP-8142: Combining zkEVM and Blobs to Scale Ethereum Execution and Bandwidth
RT @fakedev9999: The $2.2M Aztec Connect exploit is a good occasion to explain how OP-Succinct handles the proof-vs-settlement boundary: T…
Very succinct and clear historical account of the past 5 years of token markets. Very bullish on revenue-generating protocols clawing back some of the speculative capital that fled to AI
Base Azul is active, and Base is now multi-proof! State proposals can be backed by two proof types: either an AWS Nitro TEE attestation or a Succinct SP1 ZK proof. TEE proposals are whitelisted, while SP1 proof submission is permissionless. Mechanics 🧵 👇