Folder
Homonyms
cybics/crystal/whir
WHIR: a lookup argument protocol based on the sum-check mechanism WHIR allows a prover to demonstrate that a set of committed values all appear in a predefined table, without revealing which entries were looked up. the protocol reduces the lookup argument to a sum-check instance, leveraging theβ¦
soft3/zheng/docs/explanation/whir
WHIR WHIR (Weights Help Improving Rate) is the polynomial commitment of zheng's succinct profile (envelope profile 1): the winner of the phase-2 bake-off of the soft3/proposals/proof-system-repair|proof-system repair for both size classes, shipped at rate 1/64 (parameters below). it is also theβ¦