First release of Apogee VM, a RISC-V zkVM that proves Rust programs ran correctly and settles one Groth16 proof on Ethereum. A short summary that points to the full documentation.
Step-by-step visualizer of the Mercury multilinear polynomial commitment scheme: committing to a five-variable polynomial and opening it at one point, using a toy-size BN curve.
Step-by-step computation of P = [a]G1, Q = [b]G2 and the optimal ate pairing e(P, Q) on BN254 for input scalars a and b: each ladder step, Miller loop iteration and final exponentiation stage.
Step-by-step visualizer of a Fiat–Shamir transcript built on the width-3 Poseidon2 permutation over the BN254 scalar field (8 full and 56 partial rounds) and a rate-2, capacity-1 duplex sponge.
RV32IM simulator (45 instructions; FENCE, ECALL and EBREAK are not implemented) that steps through a built-in program one data transfer at a time and shows the value held by each datapath component.
