leanVM-b

• WARNING: Highly experimental / sloppy (currently).
• Proving architecture is volontarily kept simple for now

Fibonacci benchmark

cargo run --release

M4 Max:

Fibonacci (in the exponent, i.e. modulo 2^128 - 1), N = 2000000
  cycles (VM steps)           : 2052091
    XOR   instructions        : 2^10.977
    MUL   instructions        : 2^20.943
    SET   instructions        : 2^13.776
    DEREF instructions        : 2^13.968
    JUMP  instructions        : 2^11.967
  committed witness size      : 2^25.108
  proof size                  : 1196.5 KiB
  proving (incl. witness gen) : 1.281336625s
  verifying                   : 5.478042ms
  throughput                  : 1601524 cycles/s

Security, proof size etc

• security = 100 bits, proven, UDR, Basefold
• proof size = BIG (≈ 1 MiB)

Both will be improved later.

Credits

• binius
• binius64
• flock