Interface Amount

interface Amount {
    P: _0x1.ristretto255.RistrettoPoint[];
    R_eff_aud: _0x1.ristretto255.RistrettoPoint[];
    R_recip: _0x1.ristretto255.RistrettoPoint[];
    R_sender: _0x1.ristretto255.RistrettoPoint[];
    R_volun_auds: _0x1.ristretto255.RistrettoPoint[][];
}