Amadeus MatMul ZK Proof

Amadeus MatMul ZK Proof

Succinct zero-knowledge proof for Amadeus uPoW matrix multiplication, built with SP1 zkVM and compatible with zkVerify.

Overview

This project generates ZK proofs that demonstrate the correctness of the Amadeus uPoW matrix multiplication:

• Matrix A: 16 × 50,240 (uint8 values)

• Matrix B: 50,240 × 16 (int8 signed values)

• Result C: 16 × 16 (int32 values)

The proof verifies:

1. Matrices A and B were correctly generated from the seed using Blake3 XOF

2. The matrix multiplication C = A × B was computed correctly

3. The output tensor_c matches the committed hash