Taikquito experiment

[leolara]

No description provided.

[leolara]

=== AST ===
Circuit {
    forward_signals: [
        ForwardSignal {
            id: 256331125979061104310379152570644564490,
            phase: 0,
            annotation: "a",
        },
        ForwardSignal {
            id: 256338554728491091791729555100580579850,
            phase: 0,
            annotation: "b",
        },
    ],
    shared_signals: [],
    fixed_signals: [],
    halo2_advice: [],
    halo2_fixed: [],
    exposed: [],
    step_types: {
        256338559323724517619061417001106409994: StepType {
            id: 256338559323724517619061417001106409994,
            signals: [
                InternalSignal {
                    id: 256338611218170964462202822247370590730,
                    annotation: "c",
                },
            ],
            constraints: [
                Constraint {
                    annotation: "(a + b) == c",
                    expr: (a + b + -c),
                },
            ],
            transition_constraints: [
                TransitionConstraint {
                    annotation: "b == next(a)",
                    expr: (b + -next(a)),
                },
                TransitionConstraint {
                    annotation: "c == next(b)",
                    expr: (c + -next(b)),
                },
            ],
        },
    },
    num_steps: 11,
    first_step: None,
    last_step: None,
    q_enable: true,
    annotations: {
        256331125979061104310379152570644564490: "a",
        256338554728491091791729555100580579850: "b",
        256338559323724517619061417001106409994: "fibo_step",
    },
}

[leolara]

=== IR ===
Circuit {
    columns: [
        Column {
            annotation: "srcm forward a",
            ctype: Advice,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343143782120243010693337203132205578,
        },
        Column {
            annotation: "srcm forward b",
            ctype: Advice,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343226258637420359869053557361216010,
        },
        Column {
            annotation: "srcm internal signal c",
            ctype: Advice,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343229110851270873385488399920138762,
        },
        Column {
            annotation: "q_enable",
            ctype: Fixed,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343120885181276388298928244000426506,
        },
        Column {
            annotation: "q_last",
            ctype: Fixed,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343122073603714102264273622136392202,
        },
        Column {
            annotation: "'step selector for fibo_step'",
            ctype: Advice,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343249472489037039320531415692085770,
        },
    ],
    exposed: [],
    polys: [
        fibo_step::(a + b) == c => (a + b + -c) => (`q_enable` * (`'step selector for fibo_step'` * (`a[srcm forward a, 0]` + `b[srcm forward b, 0]` + (-`c[srcm internal signal c, 0]`)))),
        fibo_step::b == next(a) => (b + -next(a)) => (`q_enable` * ((0x1 + (-`q_last`)) * (`'step selector for fibo_step'` * (`b[srcm forward b, 0]` + (-`next(a)[srcm forward a, 1]`))))),
        fibo_step::c == next(b) => (c + -next(b)) => (`q_enable` * ((0x1 + (-`q_last`)) * (`'step selector for fibo_step'` * (`c[srcm internal signal c, 0]` + (-`next(b)[srcm forward b, 1]`))))),
    ],
    lookups: [],
    fixed_assignments: {
        Column {
            annotation: "q_enable",
            ctype: Fixed,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343120885181276388298928244000426506,
        }: [
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
            0x0000000000000000000000000000000000000000000000000000000000000001,
        ],
        Column {
            annotation: "q_last",
            ctype: Fixed,
            halo2_advice: None,
            halo2_fixed: None,
            phase: 0,
            id: 256343122073603714102264273622136392202,
        }: [
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000000,
            0x0000000000000000000000000000000000000000000000000000000000000001,
        ],
    },
    id: 256343123816623289416079982155080010250,
    ast_id: 256330151155749528801969120130902919690,
}