dlog token driver: improve the use of mathlib #1287 #1288
+687
−167
DCO-2 / DCO
succeeded
Jan 23, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 648ed53 | curve extension + ipa use of mul2 | Valid sign-off found |
| 🟢 | 5002b6d | minor | Valid sign-off found |
| 🟢 | a743a18 | improvement + updated mathlib | Valid sign-off found |
| 🟢 | cd7998f | avoid a copy | Valid sign-off found |
| 🟢 | 4314a5a | improvements | Valid sign-off found |
| 🟢 | b0727f8 | bug fix | Valid sign-off found |
| 🟢 | 26c3f86 | improvements | Valid sign-off found |
| 🟢 | 909c498 | bulletproof improvements | Valid sign-off found |
| 🟢 | 8324369 | mathlib dep update | Valid sign-off found |
| 🟢 | 93edd9c | more commnets and test | Valid sign-off found |
| 🟢 | 7f186f8 | lint fix | Valid sign-off found |
| 🟢 | c1c9476 | rebase cleanup | Valid sign-off found |
| 🟢 | f40b313 | more benchmarks | Valid sign-off found |
| 🟢 | 5cd4503 | mathlib bd86b4ed336b | Valid sign-off found |
| 🟢 | 1e772e7 | mathlib f52c9be3cb35 | Valid sign-off found |
| 🟢 | e0a17be | mathlib 21c357e3e46fa7a7fd43910b0be6c88f60cf3da0 | Valid sign-off found |
| 🟢 | 8dda5ee | cleanup transfer | Valid sign-off found |
Loading