KeelsonDocs
    Judge Mode

    API reference Purchases

    Proof that a purchase was within a mandate a registered user signed

    GET/v1/anonymous-purchases/{id}

    One zero-knowledge proof that composes the purchase's C1 proof (the countersigned cart satisfies the mandate) with its mandate's C3 proof (a registered user's passkey, the one the mandate names, signed it) by recursion. It shows neither the mandate nor the user. Its public inputs are the countersign's cart fields, C_m and M, which link the purchases of one mandate: anyone holding the purchase id can read it.

    Path parameters

    idstringRequired

    Responses

    • 200The proof
    • 404No composed proof for this purchase yet

    200 response

    user_set_rootstringRequired
    proofstringRequired
    The UltraHonk proof bytes, standard base64.
    public_inputsarray of stringRequired
    C1's C_m, amount, currency, category, merchant_id, now, cart_hash, operator_id, then M mod r and user_set_root: the calldata of verify(bytes,bytes32[]).
    verifierobject
    The deployed verifier that accepts the proof in an eth_call. It checks the proof only: public_inputs must also be the countersign's and the root one GET /v1/user-set/roots/{root} lists.
    root_txstring
    The Arbitrum Sepolia transaction that published user_set_root to RegisteredUserSet, once it is confirmed.