Plonkathon 项目中 program.py 的 get_public_assignments 函数问题

[luckyyang]

https://github.com/0xPARC/plonkathon/blob/main/compiler/program.py#L125

                if coeff != {"$public": True, "$output_coeff": 0, var_name: -1}:

这个是做格式检查吗，还是做值的检查呢，var_name 为什么是 -1 呢

[luckyyang]

明白 python 的这个语法了，如果这样写

a = 3
b = {a: 3, "c": 2}
print(b)

输出:

{3: 3, 'c': 2}

var_name 会被替换成实际的值

加上双引号才表示是个 string，直接作为 object 的 key、

!= 是两个 object 的 copy value 对比是否相等