logos-blockchain-pocs/circom_circuits/Operations/proof_of_funds.circom

//test
pragma circom 2.1.9;

include "../ledger/notes.circom";
include "../misc/constants.circom";
include "../circomlib/circuits/comparators.circom";

template proof_of_funds(){
    signal input state;
    signal input value;           // 64 bits
    signal input nonce;
    signal input zoneID;
    signal input secret_key;

    signal input threshold; // 64 bits
    signal input attached_data;

    signal output commitment;

    component pk = derive_public_key();
    pk.secret_key <== secret_key;

    component cm = commitment();
    cm.state <== state;
    cm.value <== value;
    component nmo = NMO();
    cm.unit <== nmo.out;
    cm.nonce <== nonce;
    cm.zoneID <== zoneID;
    cm.public_key <== pk.out;

    // Check that the value is greater than the inputed threshold
    component comparator = GreaterThan(64);
    comparator.in[0] <== value;
    comparator.in[1] <== threshold;
    comparator.out === 1;


    // dummy constraint to avoid unused public input to be erased after compilation optimisation
    signal dummy;
    dummy <== attached_data * attached_data;
}

component main {public [zoneID,threshold,attached_data]}= proof_of_funds();