01▲Ragged multi-instance GKR for Poseidon2b: one walk, unequal regions, no max-width padding ethresear.ch No max-width padding: one GKR walk batches unequal Poseidon2b regions with an implicit selector.benchmarkingethresearchgkrhashposeidonproof-systemsrecursionzk0 pts/ivan/2 days ago/1 comment
02▲LeanDA: Design and Benchmark ethresear.ch Post-quantum Ethereum DAS with RS, Merkle, Poseidon, and LeanVM proofs, plus benchmark sweeps for the inevitable paper trail.blockchaindata-availabilityethresearchhashmerkle-treeposeidonpqcreed-solomonsnarkstarkzk0 pts/bsato/7 days ago/2 comments
03▲Slipway: Accessing Finite Subspace Trails in Poseidon eprint.iacr.org Can Poseidon’s full rounds still fail to kill subspace trails? This paper says yes, with explicit MDS constructions.algebraic-cryptanalysisblockchaincryptanalysiseprintfinite-subspace-trailshashmdsposeidonzero-knowledgezk0 pts/mei/11 days ago/discuss
04▲zkSNARKs for beginners x.com Beginner zkSNARK explainer, commitments, witnesses, circuits, Poseidon, and onchain verification in one thread.blockchaincircomcommitmentshashposeidonsnarktwitterzk0 pts/rvance/13 days ago/2 comments