Skip to content
This repository was archived by the owner on Apr 27, 2023. It is now read-only.
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions text/ps-signatures/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,20 @@ There are 3 mainly entities in anonymous credentials, the *issuer* which signs a
) -> Result<Self, PSError>
}
```
- To generate the challenge, the prover will need to get bytes for the pre-challenge phase. This can be done by using `PoKOfSignature::to_bytes` method.
- The verifier generates the challenge by retrieving all relevant bytes for the pre-challenge phase by calling `PoKOfSignatureProof::get_bytes_for_challenge`. `revealed_msg_indices` corresponds to the messages revealed to the verifier since they are not included in the proof of knowledge protocol.
```rust
impl PoKOfSignatureProof {
pub fn get_bytes_for_challenge(
&self,
revealed_msg_indices: HashSet<usize>,
vk: &Verkey,
params: &Params,
) -> Vec<u8> {
....
}
}
```
- After the challenge is generated (or received in case of an interactive protocol), `PoKOfSignature::gen_proof` is used to create the proof `PoKOfSignatureProof`.
```rust
impl PoKOfSignature {
Expand Down