github.com/consensys/gnark-crypto@v0.14.0/internal/generator/sumcheck/test_vectors/vectors.json (about)

     1  {
     2  	"linear_univariate_single_claim": {
     3  		"type": "multilin",
     4  		"hash": {
     5  			"type": "const",
     6  			"val": -1
     7  		},
     8  		"values": [
     9  			1,
    10  			3
    11  		],
    12  		"description": "X ↦ 2X + 1",
    13  		"proof": {
    14  			"partialSumPolys": [
    15  				[
    16  					3
    17  				]
    18  			],
    19  			"finalEvalProof": {}
    20  		},
    21  		"claimedSum": 4
    22  	},
    23  	"trilinear_single_claim": {
    24  		"type": "multilin",
    25  		"hash": {
    26  			"type": "const",
    27  			"val": -1
    28  		},
    29  		"values": [
    30  			1,
    31  			2,
    32  			3,
    33  			4,
    34  			5,
    35  			6,
    36  			7,
    37  			8
    38  		],
    39  		"description": "X₁, X₂, X₃ ↦ 1 + 4X₁ + 2X₂ + X₃",
    40  		"proof": {
    41  			"partialSumPolys": [
    42  				[
    43  					26
    44  				],
    45  				[
    46  					-1
    47  				],
    48  				[
    49  					-4
    50  				]
    51  			],
    52  			"finalEvalProof": {}
    53  		},
    54  		"claimedSum": 36
    55  	}
    56  }