From 4c69810e4ff071783578ccd35b48605604029c85 Mon Sep 17 00:00:00 2001 From: adria0 Date: Thu, 24 Oct 2024 10:24:48 +0200 Subject: [PATCH] Revert experimental-features --- book/src/user/experimental-features.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/book/src/user/experimental-features.md b/book/src/user/experimental-features.md index 919650181..b64b9cbc2 100644 --- a/book/src/user/experimental-features.md +++ b/book/src/user/experimental-features.md @@ -4,7 +4,11 @@ In `privacy-scaling-explorations/halo2` fork we have implemented many experiment ## Commitment scheme abstraction -To support different kinds of polynomial commitment schemes, we've added a trait `CommitmentScheme` to allow create/verify proofs with different commitment scheme implementations, currently there are one available implementations in this fork: +To support different kinds of polynomial commitment schemes, we've added a trait `CommitmentScheme` to allow create/verify proofs with different commitment scheme implementations, currently there are 2 available implementations in this fork: + +- [`IPACommitmentScheme`](https://privacy-scaling-explorations.github.io/halo2/halo2_proofs/poly/ipa/commitment/struct.IPACommitmentScheme.html) + + The original implementation from `zcash/halo2` with the original multi-open strategy `{Prover,Verifier}IPA` - [`KZGCommitmentScheme`](https://privacy-scaling-explorations.github.io/halo2/halo2_proofs/poly/kzg/commitment/struct.KZGCommitmentScheme.html) @@ -16,6 +20,10 @@ To support different kinds of polynomial commitment schemes, we've added a trait When using `create_proof` and `verify_proof`, we need to specify the commitment scheme and multi-open strategy like: ```rust +// Using IPA +create_proof, ProverIPA<_>, _, _, _, _> +verify_proof, ProverIPA<_>, _, _, _> + // Using KZG with GWC19 multi-open strategy create_proof, ProverGWC<_>, _, _, _, _> verify_proof, ProverGWC<_>, _, _, _>