soft3/bbg/rs/tests/fixtures/query_proof_golden.json

{
  "folding": {
    "commitment": [
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7
    ],
    "opening": {
      "Folding": {
        "final_value": [
          10
        ],
        "merkle_paths": [
          [
            [
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9,
              9
            ]
          ]
        ],
        "round_commitments": [
          [
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8
          ]
        ]
      }
    },
    "point": [
      0,
      1,
      5
    ],
    "value_bytes": [
      77,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  },
  "tensor": {
    "commitment": [
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7
    ],
    "opening": {
      "Tensor": {
        "final_poly": [
          2,
          3
        ],
        "query_responses": [
          [
            0,
            [
              4
            ]
          ],
          [
            5,
            [
              6,
              7
            ]
          ]
        ],
        "round_commitments": [
          [
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            1
          ]
        ]
      }
    },
    "point": [
      0,
      1,
      5
    ],
    "value_bytes": [
      77,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  },
  "witness": {
    "commitment": [
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7,
      7
    ],
    "opening": {
      "Witness": {
        "certificate": [
          12
        ],
        "witness_commitment": [
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11,
          11
        ],
        "witness_opening": {
          "Tensor": {
            "final_poly": [
              2,
              3
            ],
            "query_responses": [
              [
                0,
                [
                  4
                ]
              ],
              [
                5,
                [
                  6,
                  7
                ]
              ]
            ],
            "round_commitments": [
              [
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1
              ]
            ]
          }
        }
      }
    },
    "point": [
      0,
      1,
      5
    ],
    "value_bytes": [
      77,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  }
}

Graph