Hi,
Is there a simple explanation and/or example to what Zac means by “shifting the boolean hypercube & sumcheck” in the ZK Summit 12, in the video link below?
This is part of an upcoming paper about Honk!, as mentioned in the same video.
Cheers!
Hi,
Is there a simple explanation and/or example to what Zac means by “shifting the boolean hypercube & sumcheck” in the ZK Summit 12, in the video link below?
This is part of an upcoming paper about Honk!, as mentioned in the same video.
Cheers!