Exposing an ISA for post-quantum proofs on Ethereum

Дата публикации: 12-10-2026 00:39:03

A useful addition to the ISA comp would be a reproducible suite of cryptographic workloads beyond BLAKE2s.
I build/maintain rscrypto, a cryptographic primitive lib w/ portable impls of SHA-2, SHA-3, BLAKE2, BLAKE3, ML-DSA, and SLH-DSA, w/ no_std support and first-class RISC-V (as well as IBM Z/POWER) testing.
I’m really interested in contributing a reference suite to help compare candidate ISAs under leanVM. This just feels pretty important.
Specifically, I propose measuring:
Guest instruction cycles/execution-trace size
STARK proof-gen time/peak memory
Proof size
Hashing, Merkle-tree ops, and PQ sig verification
My current RISC-V results are native perf measurements, not zkVM proving benches. I feel like the next step would be to target leanVM’s specific RV64IM execution env and compare equivalents on other viable ISA targets.
Would this be useful @soispoke? Might it actually help inform the ISA decision? Do you have a preferred workload or guest ABI for me to target?
Get back to me here - I’ll build this out and see what it looks like?

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	Same instruction count, 23x the wall clock: working-set effects in a deterministic RISC-V interpreter	0	10.98	18-09-2026
2	Etheorem update: the complete executable consensus specs written in Lean 4	0	4.8	21-09-2026
3	Lean4 SSZ library: formally verified and easy to use	0	13.53	13-09-2026
4	All Core Devs - Consensus (ACDC) #183, July 23 2026	0	15.18	13-07-2026
5	ERC-8340: Transaction Metadata Encoding	0	34.21	15-07-2026
6	EIP Editing Office Hour (EIP + ERC ) Meeting #111, Aug 18, 2026	0	18.71	13-08-2026
7	Deterministic Random Number in EVM for Independent Recomputability	0	12.36	30-07-2026
8	Proposal for a minimal compute-anchored purchasing power signal	0	7.88	11-10-2026
9	EIP Editing Office Hour (EIP + ERC ) Meeting #108, July 28, 2026	0	18.32	27-07-2026
10	Auto Vectorizing The RISC-V Linux Kernel Shows Promising Results	0	10.28	11-10-2026

Классификация: . Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 17.14. Источник: ethresear.ch.