The collection spans 372 result families across several mathematical fields, but the manuscripts remain research claims rather than confirmed solutions.
The completed proofs cover Jolt’s first formal-verification stage, while seven instructions and the broader zkVM verification project remain unfinished.
