BABE 的可变支付金额方案（应用于 Lichen）

针对 BABE 证明语句在 setup 时即固定、无法支持可变金额的局限，提出让验证方 V 在提现时对 P 声明的金额 a 做 WOTS 签名，P 再以该签名构造 Groth16 证明，使 BABE 的 witness encryption 可用于 setup 时未包含的金额 a。该方案依赖 P 与 V 的交互，且此类 hub-user 合约提现为一次性操作。