Halo:Recursive Proof Composition without a Trusted Setup

基于ECC的DLOG假设实现了Halo协议，可在无需可信设置的条件下实现递归证明