# Creating and Verifying a Proof

Pre-Readings: Verifiable Attestations

As a holder, you are expected to generate proof(s) to be disclosed to verifiers rather than disclosing the original attestation with all details.

There are user interfaces for handling this all on the frontend which should be adequate for almost all use cases. However, below, we go into detail for how you can do it yourself.

Check out https://bitbadges.io/attestations/proofgen for a helper tool for generating BBS+ signatures.

### Custom Logic

It is important to note that proof verification is not limited to that is provided in the interface. you will typically need to check the attestation messages against other private values (e.g. matching attestation data to a user). This is application-specific, but we expect you to handle everything for proper verification.

**Inherent Trust for the Issuer**

All attestations / credentials inherently get their credibility from the issuer, so there is already a bit of trust there. However, additional measures can be taken to protect against a malicious issuer. Some examples include:

On-chain ID -> data integrity maps to prevent issuer from issuing duplicates (each credential ID can only correspond to one credential)

Anchors / Data Commitments - The issuer or holder can commit to proof of knowledge on-chain at some point which can be verified later. This gives a verifiable timestamp for when the data was known by. See below for more info.

### On-Chain Anchors + Update History

There are a couple fields here which are used to prove data integrity and proof of knowledge. These are not necessary for all use cases.

Anchors are proof that the credential was known / issued by a certain time. These should not reveal any confidential information publicly.

If an anchor is created through the BitBadges site, we use the following algorithm. If we have N attestation messages, we also have N entropies. We can then post the SHA256 hash of (message + entropy) on-chain. When revealed to a verifier in a proof, they can verify that data integrity has been maintained if they have the palintext message + entropy value. The random hash posted on-chain reveals nothing confidential but provides a verifiable timestamp for the data. This is facilitated through the x/anchor module's MsgAddCustomData.

Update history is maintained by BItBadges in a centralized manner, but it could be useful to provide additional information to verifiers about when the data changed, etc.

**Standard Proofs**

**Standard Proofs**

For standard proofs, selective disclosure is not possible / supported. Simply copy and paste the **dataIntegrityProof** from the attestation exactly as is.

**BBS+ Proofs - Verifying Proof of Issuance**

**BBS+ Proofs - Verifying Proof of Issuance**

An important aspect of verifying BBS+ attestations is to verify the link between the "main" issuer and the BBS+ public key. This is done with the **proofOfIssuance** provided. You should verify that the main issuer has given valid approval to use such an approval as issued by themselves. For BitBadges, we use the scheme of the following.

We then verify that the signer of the proof of issuance matches the issuer (createdBy) and he key they approved is the BBS key used for the proof.

**BBS+ Proofs - Creation and Verification**

**BBS+ Proofs - Creation and Verification**

For verifying BBS+ signatures, it is important to note whether you are verifying a derived proof or the original signature.

We expect the **dataIntegrityProof.signature** to always be a derived proof when using the **iAttestationsProof** interface. However, the **proofOfIssuance** may have the original.

To create the proof from the original attestation, the following code can be used. **revealed** is he zero-based indices of the messages that are revealed (i.e. messages elem 0 is revealed = [0])

We use a generic "nonce" as the nonce because we expect proofs to be verified using an alternative sign-in flow that handles replay attacks there.

To verify the original, you need all N messages and will use blsVerify. To verify a derived proof, you only need to know the messages used to derive the proof.

Last updated