1-zkSNARKs问题描述

zkSNARKs问题描述

2019.12.06 胡振远

问题一描述

Alice有一个多项式问题 $P(x)=a_0x^0+a_1x^1+a_2x^2+...+a_dx^d$ ，求 $x$ ，满足 $P(x)=0$ 。Bob恰好知道当 $x=s$ 时， $P(s)=0$ 。那么，如何在Bob不告诉Alice $s$ 的情况下，能够向Alice证明当 $x=s$ 时， $P(s)=0$

问题二描述

如何把一个其他的问题，转换为一个多项式问题。例如在双12购物节中，如何使用最合理的满减、购物券、折扣、返现等措施来实现最大优惠。我们希望把这个"双12问题"转换为一个多项式问题 $P(x)$