Have you heard of a Cartesian Merkle Tree (CMT)? It's the first Merkle tree with O(log n) complexity that uses just n storage (down from 2n), as all the nodes, not just leaves, store useful information. CMT is deterministic and particularly good for on-chain and ZK applications.
Chinese scientists have developed the best shortest-path algorithm in 41 years! A team from Tsinghua University has broken Dijkstra’s “sorting barrier” — the first improvement since 1984.
The new algorithm runs in O(m \log^{2/3} n) time. Potential applications? Faster shorter waits for route calculations, fewer traffic jams, cheaper deliveries, and more efficient computer networks. And, of course, a need to update computer science curricula :)
We’ve officially integrated ShareRing’s cross-chain digital identity suite into @cronosapp - with support from their awesome team - enabling Cronos devs to seamlessly add privacy-first ID verification to their dApps.
Verify age, location, identity, proof-of-human & more using Zero-Knowledge credentials and ShareRing’s next-gen tools.
Find out more and request access here: https://t.co/kM4PRj0sHd
New @VitalikButerin post with a radical proposal: we should move Ethereum execution from the EVM to RISC-V.
Ethereum scaling in the long run will be limited by zkVM proving capabilities. If the goal is to scale the L1, it makes sense to remove one of the primary bottlenecks to proving: the EVM.
RISC-V zkVMs like SP1 can function in one of two ways: they can execute code "natively" (by compiling Rust directly down to RISC-V) or pass it through an interpreter like the EVM.
At Succinct, we found that the EVM's interpreter can add up to an 800x overhead to zkVM proving times. The EVM is very inefficient for ZK.
This proposal aims to align Ethereum much more closely with ZK proving costs. Concretely, the post suggests:
- Add RISC-V as the backend for smart contracts
- Optimize merklization with prover-friendly hash functions & deserialization
- Align the gas schedule with prover precompiles
Exciting times for Ethereum & ZK.
THEY FINALLY DID IT.
HARDHAT FINALLY HAS ENCRYPTED PRIVATE KEYS.
After YEARS of me banging on about private keys in plaintext being unacceptable, all modern frameworks now support encrypted keys.
- Foundry
- Moccasin
- And now, Hardhat
I can die a happy ManFrog.
We're excited to announce that ShareRing is now a proud member of the Age Verification Providers Association!
This milestone reinforces our commitment to secure, privacy‑first digital identity and age verification solutions.
#DigitalIdentity#AgeVerification#Innovation
Great meeting with Mayor Christi Fraga of Doral! 🚀 ShareRing’s Digital ID is changing age and identity verification—faster, safer, and more secure.
Download ShareRing Me and join the future of digital ID! 🌐
#digitalid#innovation#secureidentity#ageverification#digitalme
Spent the last 3 months re-learning math. Has it made me a better programmer? Not directly. But I feel like I approach problems with more structure and confidence now.
@SageyTrading @banteg@samczsun @Pumpenomics @brockjelmore@ivangbi_@zachxbt I’ve just come across another malicious extension published on October 11, and it already has 1.4M downloads.
https://t.co/gXJAyF3CJ8
@SageyTrading @banteg@samczsun @Pumpenomics @brockjelmore@ivangbi_@zachxbt I’ve just come across another malicious extension published on October 11, and it already has 1.4M downloads.
https://t.co/gXJAyF3CJ8