Explorer for QoreChain mainnet, with live blocks, validators, supply, RPCs, and the chain’s hybrid PQ signature docs.

Can a Halo2 zkVM prove synthesized hardware is power-side-channel safe without leaking the netlist? Apparently, yes.

Survey of eBIM, a RISC-V hardware/software co-design stack for blockchain trust, because apparently blockchains need chips too.

Ethereum scaling essay on “lean execution”, stapling SNARKs, recursion, statelessness, and sharding into one ambitious roadmap.

Monthly zk roundup, this one leans harder into lattice proofs and verification than the usual SNARK link salad.

Explains ZK rollups, batching, validity proofs, data availability, and the usual SNARK vs STARK arguments. Standard L2 tourism.

Which zkVM marketplace fits, and what are you paying in latency, trust, and custody to avoid running it yourself?

Polygon zkEVM is getting shut down July 1, after the team reportedly stopped touching it 18 months ago.

Want the meetup talk on how Polygon CDK zkEVM can prove an invalid EVM state transition and still pass as valid?

PSE's SpeakUp intro for zkVM, another cryptography announcement with a name and a promise.

Tutorial on generating Merkle tree proofs with Plonky3, for when a tree needs a proving system.

What changed in Starknet this week? A weekly dump of protocol, devtool, privacy, SIP, and ecosystem updates.

Talk on making recursion efficient for Jolt zkVM, covering proof composition and the usual performance pain.

Need anonymous agents to prove compliance without doxxing their graph? ACTA sketches ERC-8004 creds, proofs, and contracts.

ZKProof 8 talk on efficient recursion for the Jolt zkVM, where proof composition gets expensive in the usual charming way.

ePrint on threshold-halving soundness for FRI/STIR/WHIR above Johnson, because the old bound apparently got lonely.

Vitalik’s take on formal verification, with Lean examples and a sober look at where end-to-end proofs still blow up.