request.cairo

%builtins output
func main{output_ptr: felt*}() {
    alloc_locals;

    // Load fibonacci_claim_index and copy it to the output segment.
    local domain: felt*;
    local domain_len;
    %{
        x = program_input["domain"]
        ids.domain = domain = segments.add()
        for i, val in enumerate(x):
            memory[domain + i] = val
        ids.domain_len = len(x)
    %}

    local status;
    local secrets: felt*;
    local secrets_len: felt;
    local cert: felt*;
    local cert_len: felt;

    local domain_end: felt;
    %{
        import requests
        x = []
        for i in range(ids.domain_len):
            x.append(memory[ids.domain + i])
        resp = requests.post("http://proxy.test/request", json={"domain": x})
        ids.status = resp.json()["status_code"]
        response = resp.json()

        resp_secrets = response["connection_secrets"]
        ids.secrets = secrets = segments.add()
        for i, val in enumerate(resp_secrets):
            memory[secrets + i] = val
        ids.secrets_len = len(resp_secrets)

        resp_first_cert_data = response["cert"]
        ids.domain_end = resp_first_cert_data["domain_end"]

        resp_cert = resp_first_cert_data["data"]
        ids.cert = cert = segments.add()
        for i, val in enumerate(resp_cert):
            memory[cert + i] = val
        ids.cert_len = len(resp_cert)
    %}

    assert_equal_from_end(domain, cert + domain_end - domain_len, domain_len);

    // Return the updated output_ptr.
    return ();
}

func print_output{output_ptr: felt*}(data_len: felt, data: felt*) {
    if (data_len == 0) {
        return ();
    }
    assert output_ptr[0] = data[0];
    let output_ptr = output_ptr + 1;
    print_output(data_len - 1, data + 1);
    return ();
}

func assert_equal_from_end(a: felt*, b: felt*, len: felt) {
    if (len == 0) {
        return ();
    } 
    assert a[0] = b[0];
    assert_equal_from_end(a + 1, b + 1, len - 1);
    return ();
}