wip: thesis edits - #12

Merged

ashandoak merged 24 commits into

mainfrom

Mar 11, 2026

Commits on Feb 22, 2026

refactor: modify statements for clarity
ashandoak
committed
18356e2
refactor: modify name of public parameters class
ashandoak
committed
4624e6b
refactor: change order of core lemmas and defs
ashandoak
committed
6b288b5
refactor: change name of dlogadv def
ashandoak
committed
12dfdc4
refactor: modify lemma to mathlib style; update associated proof
ashandoak
committed
8fb6a51
fix: missed adding dlogadv name change
ashandoak
committed
b413d21
refactor: rename binding lemmas for clarity
ashandoak
committed
2f5ef5a

Commits on Feb 23, 2026

refactor: remove unnecessary hypothesis
ashandoak
committed
8db1669
refactor: remove unnecessary parentheses
ashandoak
committed
9038e83

Commits on Feb 24, 2026

refactor: clean up lemma statements and have blocks
ashandoak
committed
7f68897

Commits on Feb 25, 2026

refactor: update proof of pedersen uniformity to use commit directly
ashandoak
committed
1bbbce5

Commits on Feb 28, 2026

Add commitment scheme docstrings and clean up definitions; update pedersen as necessary
ashandoak
committed
527885b
Tweak language for perfect hiding and binding
ashandoak
committed
911b86e
Reorder noncomputable section
ashandoak
committed
886a573

Commits on Mar 1, 2026

Commits on Mar 11, 2026

wip: minor refactoring
ashandoak
committed
f8f86ec
wip: remove coprime hypothesis from binding lemma (grind handles it)
ashandoak
committed
4ab2133
wip: minor refactoring
ashandoak
committed
616d2c1
wip: refactor some defs
ashandoak
committed
60e4ddd
Merge branch 'main' into thesis-edits
ashandoak
authored
f38dd96