Skip to content

Conversation

@adecaro
Copy link
Contributor

@adecaro adecaro commented Dec 8, 2025

No description provided.

@adecaro adecaro self-assigned this Dec 8, 2025
@adecaro adecaro added this to the Q4/25 milestone Dec 8, 2025
@adecaro adecaro linked an issue Dec 8, 2025 that may be closed by this pull request
@adecaro adecaro requested review from HayimShaul and aaadir January 5, 2026 12:17
@adecaro
Copy link
Contributor Author

adecaro commented Jan 5, 2026

@AkramBitar , I will revise the tests once #1285 gets in.

@AkramBitar AkramBitar self-requested a review January 6, 2026 12:29
@adecaro adecaro force-pushed the 1287-dlog-token-driver-improve-the-use-of-mathlib branch from df841ee to 7fbf52a Compare January 7, 2026 08:28
@adecaro adecaro modified the milestones: Q4/25, Q1/26 Jan 7, 2026
@adecaro adecaro force-pushed the 1287-dlog-token-driver-improve-the-use-of-mathlib branch from dc52f8c to a852e52 Compare January 7, 2026 12:27
Copy link
Contributor

@HayimShaul HayimShaul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good

@adecaro adecaro force-pushed the 1287-dlog-token-driver-improve-the-use-of-mathlib branch from f9ac81a to 18f48e4 Compare January 14, 2026 09:13
@adecaro adecaro force-pushed the 1287-dlog-token-driver-improve-the-use-of-mathlib branch 2 times, most recently from c68e157 to 4cb3f80 Compare January 23, 2026 14:28
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>

# Conflicts:
#	token/core/zkatdlog/nogh/v1/crypto/common/array.go

# Conflicts:
#	go.mod
#	go.sum
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>

# Conflicts:
#	token/services/identity/storage/kvs/hashicorp/go.mod
#	token/services/identity/storage/kvs/hashicorp/go.sum
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
@adecaro adecaro force-pushed the 1287-dlog-token-driver-improve-the-use-of-mathlib branch from 45e514f to e0a17be Compare January 23, 2026 14:53
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

dlog token driver: improve the use of mathlib

4 participants