proof transcript trace #821

allanbrondum · 2025-11-26T13:27:20Z

Purpose

_Describe the purpose of the pull request, link to issue describing the problem, etc.

Changes

_Describe the changes that were needed.

Checklist

My code follows the style of this project.
The code compiles without warnings.
I have performed a self-review of the changes.
I have documented my code, in particular the intent of the
hard-to-understand areas.
(If necessary) I have updated the CHANGELOG.

allanbrondum · 2025-11-27T09:56:24Z

rust-src/concordium_base/src/web3id/v1/proofs.rs

+
+    /// Test prove and verify presentation for identity credentials.
+    #[test]
+    fn test_transcript_trace_identity() {


Trace:

ConcordiumContextInformationV1 given, 33 bytes requested, 33 bytes GlobalContext, 24684 bytes ProofVersion, 1 bytes CreationTime, 8 bytes ConcordiumIdBasedCredential Issuer, 4 bytes Statements, 105 bytes Network, 1 bytes IdentityAttributesCredentials IdentityAttributeValues, 730 bytes GlobalContext, 24684 bytes PsSigKnown blinded_sig, 96 bytes messages, 388 bytes ps_pub_key, 3128 bytes comm_key, 96 bytes , 5 messages cipher, 96 bytes commitment, 48 bytes pub_key, 96 bytes cmm_key, 96 bytes cipher, 96 bytes commitment, 48 bytes pub_key, 96 bytes cmm_key, 96 bytes cipher, 96 bytes commitment, 48 bytes pub_key, 96 bytes cmm_key, 96 bytes cipher, 96 bytes commitment, 48 bytes pub_key, 96 bytes cmm_key, 96 bytes cipher, 96 bytes commitment, 48 bytes pub_key, 96 bytes cmm_key, 96 bytes point, 1548 bytes <extract raw challenge> response, final prover message, 948 bytes ValidFrom, 3 bytes ValidTo, 3 bytes EncryptedIdentityCredentialId, 511 bytes SetMembershipProof G, 200 bytes H, 200 bytes v_keys, 96 bytes V, 48 bytes theSet, 136 bytes A, 48 bytes S, 48 bytes y, extract scalar challenge z, extract scalar challenge T1, 48 bytes T2, 48 bytes x, extract scalar challenge tx, 32 bytes tx_tilde, 32 bytes e_tilde, 32 bytes w, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge a, final prover message, 32 bytes b, final prover message, 32 bytes SetNonMembershipProof G, 200 bytes H, 200 bytes v_keys, 96 bytes V, 48 bytes theSet, 136 bytes A, 48 bytes S, 48 bytes y, extract scalar challenge z, extract scalar challenge T1, 48 bytes T2, 48 bytes x, extract scalar challenge tx, 32 bytes tx_tilde, 32 bytes e_tilde, 32 bytes w, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge a, final prover message, 32 bytes b, final prover message, 32 bytes AttributeRangeProof a, 32 bytes b, 32 bytes G, 6152 bytes H, 6152 bytes v_keys, 96 bytes n, 1 bytes Vj, 48 bytes Vj, 48 bytes A, 48 bytes S, 48 bytes y, extract scalar challenge z, extract scalar challenge T1, 48 bytes T2, 48 bytes x, extract scalar challenge tx, 32 bytes tx_tilde, 32 bytes e_tilde, 32 bytes w, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge a, final prover message, 32 bytes b, final prover message, 32 bytes AttributeRangeProof a, 32 bytes b, 32 bytes G, 6152 bytes H, 6152 bytes v_keys, 96 bytes n, 1 bytes Vj, 48 bytes Vj, 48 bytes A, 48 bytes S, 48 bytes y, extract scalar challenge z, extract scalar challenge T1, 48 bytes T2, 48 bytes x, extract scalar challenge tx, 32 bytes tx_tilde, 32 bytes e_tilde, 32 bytes w, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge Lj, 48 bytes Rj, 48 bytes uj, extract scalar challenge a, final prover message, 32 bytes b, final prover message, 32 bytes RevealedAttribute, 11 bytes

Updated by @tschudid :

-l-> ConcordiumContextInformationV1 -m-> given 33 bytes -m-> requested 33 bytes -m-> GlobalContext 24684 bytes -m-> ProofVersion 1 bytes -m-> CreationTime 8 bytes -l-> ConcordiumIdBasedCredential -m-> Issuer 4 bytes -m-> Statements 105 bytes -m-> Network 1 bytes -l-> IdentityAttributesCredentials -m-> IdentityAttributeValues 730 bytes -m-> GlobalContext 24684 bytes -l-> PsSigKnown -m-> blinded_sig 96 bytes -m-> messages 388 bytes -m-> ps_pub_key 3128 bytes -m-> comm_key 96 bytes --- start append each message --- -m-> 5 items - start message - -m-> cipher 96 bytes -m-> commitment 48 bytes -m-> pub_key 96 bytes -m-> cmm_key 96 bytes - end message - - start message - -m-> cipher 96 bytes -m-> commitment 48 bytes -m-> pub_key 96 bytes -m-> cmm_key 96 bytes - end message - - start message - -m-> cipher 96 bytes -m-> commitment 48 bytes -m-> pub_key 96 bytes -m-> cmm_key 96 bytes - end message - - start message - -m-> cipher 96 bytes -m-> commitment 48 bytes -m-> pub_key 96 bytes -m-> cmm_key 96 bytes - end message - - start message - -m-> cipher 96 bytes -m-> commitment 48 bytes -m-> pub_key 96 bytes -m-> cmm_key 96 bytes - end message - --- end append each message --- -m-> point 1548 bytes <-c- (extract raw challenge) -m-> response 948 bytes (final prover message) -m-> ValidFrom 3 bytes -m-> ValidTo 3 bytes -m-> EncryptedIdentityCredentialId 511 bytes -l-> SetMembershipProof -m-> G 200 bytes -m-> H 200 bytes -m-> v_keys 96 bytes -m-> V 48 bytes -m-> theSet 136 bytes -m-> A 48 bytes -m-> S 48 bytes <-c- y (extract scalar challenge) <-c- z (extract scalar challenge) -m-> T1 48 bytes -m-> T2 48 bytes <-c- x (extract scalar challenge) -m-> tx 32 bytes -m-> tx_tilde 32 bytes -m-> e_tilde 32 bytes <-c- w (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> a 32 bytes (final prover message) -m-> b 32 bytes (final prover message) -l-> SetNonMembershipProof -m-> G 200 bytes -m-> H 200 bytes -m-> v_keys 96 bytes -m-> V 48 bytes -m-> theSet 136 bytes -m-> A 48 bytes -m-> S 48 bytes <-c- y (extract scalar challenge) <-c- z (extract scalar challenge) -m-> T1 48 bytes -m-> T2 48 bytes <-c- x (extract scalar challenge) -m-> tx 32 bytes -m-> tx_tilde 32 bytes -m-> e_tilde 32 bytes <-c- w (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> a 32 bytes (final prover message) -m-> b 32 bytes (final prover message) -l-> AttributeRangeProof -m-> a 32 bytes -m-> b 32 bytes -m-> G 6152 bytes -m-> H 6152 bytes -m-> v_keys 96 bytes -m-> n 1 bytes -m-> Vj 48 bytes -m-> Vj 48 bytes -m-> A 48 bytes -m-> S 48 bytes <-c- y (extract scalar challenge) <-c- z (extract scalar challenge) -m-> T1 48 bytes -m-> T2 48 bytes <-c- x (extract scalar challenge) -m-> tx 32 bytes -m-> tx_tilde 32 bytes -m-> e_tilde 32 bytes <-c- w (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> a 32 bytes (final prover message) -m-> b 32 bytes (final prover message) -l-> AttributeRangeProof -m-> a 32 bytes -m-> b 32 bytes -m-> G 6152 bytes -m-> H 6152 bytes -m-> v_keys 96 bytes -m-> n 1 bytes -m-> Vj 48 bytes -m-> Vj 48 bytes -m-> A 48 bytes -m-> S 48 bytes <-c- y (extract scalar challenge) <-c- z (extract scalar challenge) -m-> T1 48 bytes -m-> T2 48 bytes <-c- x (extract scalar challenge) -m-> tx 32 bytes -m-> tx_tilde 32 bytes -m-> e_tilde 32 bytes <-c- w (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> Lj 48 bytes -m-> Rj 48 bytes <-c- uj (extract scalar challenge) -m-> a 32 bytes (final prover message) -m-> b 32 bytes (final prover message) -m-> RevealedAttribute 11 bytes

allanbrondum added 16 commits November 25, 2025 10:24

transcript protocol

88a3e63

doc

4fb017e

fix

e62be07

ddoc

8c5282c

todo

d05b3f6

fix

0733806

fix

251a0ac

fix

387000c

fix

6079f60

presentation transcript

5f8ae65

fix

62ed428

fix

8f83619

test

d9ec71a

fix

783e2c5

change label

69e201e

merge

2bc95e7

allanbrondum marked this pull request as draft November 26, 2025 13:27

allanbrondum self-assigned this Nov 26, 2025

fix

8dca9f7

Base automatically changed from ar/cor-2022-implement-transcript-pres to ar/cor-1939-verifiable-presentations-from-id-credentials-feature November 26, 2025 20:30

allanbrondum added 2 commits November 27, 2025 10:10

test

995ffb8

trace

5f46815

allanbrondum changed the title ~~fix~~ trace Nov 27, 2025

allanbrondum added 2 commits November 27, 2025 10:26

merge

31e7983

trace

572a61e

allanbrondum commented Nov 27, 2025

View reviewed changes

tschudid added 2 commits December 9, 2025 09:28

add some formatting to trace

cc2dd86

more formatting

b3bcb6d

allanbrondum changed the title ~~trace~~ proof transcript trace Jan 2, 2026

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

proof transcript trace #821

proof transcript trace #821

Uh oh!

allanbrondum commented Nov 26, 2025

Uh oh!

allanbrondum Nov 27, 2025

Uh oh!

allanbrondum Dec 10, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

proof transcript trace #821

Are you sure you want to change the base?

proof transcript trace #821

Uh oh!

Conversation

allanbrondum commented Nov 26, 2025

Purpose

Changes

Checklist

Uh oh!

allanbrondum Nov 27, 2025

Choose a reason for hiding this comment

Uh oh!

allanbrondum Dec 10, 2025

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants