Interface SchnorrProof

interface SchnorrProof {
    challenge: string;
    commitmentA: string;
    id: string;
    publicValue: string;
    response: string;
    verified: boolean;
}

Properties

challenge: string

Challenge: c = H(g, y, a) (Fiat-Shamir heuristic)

commitmentA: string

Commitment: a = g^k (k is random nonce)

id: string

Proves knowledge of x where y = g^x mod p

publicValue: string

Public value: y = g^x

response: string

Response: z = k - c·x mod p

verified: boolean

Verification: g^z · y^c == a