leanVM benchmarks

768,000 validators = 32 slots × 16 subnets × 1,500 signatures.

Machine

Threads

	Proving time	Peak RAM

How to reproduce

Clone leanVM at the benchmarked commit:

git clone https://github.com/leanEthereum/leanVM
cd leanVM
git checkout