2 comments

  • al2o3cr an hour ago

    The "proof-10m.json" file claims to have only needed 256MB RSS (line 13)

    It's an amazing coincidence how, despite all the other proof files including 10+ decimal places for their memory statistics, the 100m case somehow came out EXACTLY at integer values! And somehow heap_growth_percent was zero, despite the heap starting at 50 and ending at 3100...

    The "proof-100m-official.json" also omits all leaf hashes in favor of referencing a file ".tmp/leaves-100000000.bin" which is not included with the "proof".

      LexiCoAS an hour ago

      Fair points. Let me address each:

      1. The 100M proof was generated differently than the others. The round numbers are because I summarized the metrics manually after the run, rather than capturing raw benchmark output. The actual values were ~3.1GB throughout — I should have kept the decimals.

      2. heap_growth_percent: 0 is wrong given those numbers. That field was meant to convey "memory stayed flat" but I wrote it incorrectly. The heap DID grow from 50MB to ~3.1GB during warmup, then stayed flat. Bad labeling on my part.

      3. The .tmp/leaves file: You're right, it's not included. The 3.2GB binary file contains all 100M leaf hashes. I can provide it, but it's large. The root hash commits to it regardless — if you regenerate any leaf, it won't match.

      The 1K-10M proofs have full Merkle paths you can verify. The 100M proof has the root hash commitment. I prioritized shipping over polish.

      Valid criticisms. I'll clean up the 100M proof format.