Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Suggestions for pqARKG-H security proof #31

Open
wants to merge 12 commits into
base: pqarkg-h
Choose a base branch
from
Open

Suggestions for pqARKG-H security proof #31

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
74e5616
Include b in SKList entries in mkKS for pkARKG-H
sander Feb 1, 2025
4503cb4
Small algorithm syntax fixes
sander Feb 1, 2025
b97d949
More attractive title
sander Feb 1, 2025
1f01711
Fix figure reference for the pqARKG experiment
sander Feb 1, 2025
fe444c0
Note why the pqARKG and pqARKG-H advantages are equal
sander Feb 1, 2025
b4cd553
Clarify the proof by putting the conclusion first
sander Feb 1, 2025
63d886d
Try to make the proof flow easier
sander Feb 1, 2025
551618e
Clarify HDK use case and b=1
sander Feb 1, 2025
5a605d3
Notation compatible with additive blinding
sander Feb 1, 2025
d7ee6ea
Fix typo in public key oracle for mkKS
sander Feb 2, 2025
a64b22a
Render current draft
sander Feb 2, 2025
a3b4c6c
Merge changes in the original draft from last week
sander Feb 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion pqarkg-h-security/pqarkg-h.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -369,7 +369,7 @@ \section{Reduction of \ALGBASE to \ALGNAME in \msks security experiment}
also defeats \expmsksbase.
Given such an adversary \bdv,
we construct an adversary \adv that defeats \expmsksbase
as defined in \figref{adv-reduction}.
as defined in \figref{exp-msks-pqarkg}.
Copy link
Member

Choose a reason for hiding this comment

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

This was not meant to reference the experiment, but the adversary construction. Let's instead clarify the text to remove that confusion.


\begin{figure}
\figlabel{adv-reduction}
Expand Down