Skip to content

Migration from FORS+C to PORS+FP in the spec#11

Merged
mjthatch merged 10 commits intomainfrom
spec
Apr 16, 2026
Merged

Migration from FORS+C to PORS+FP in the spec#11
mjthatch merged 10 commits intomainfrom
spec

Conversation

@CuriousVi17
Copy link
Copy Markdown
Collaborator

Changed section from FORS+C entirely to PORS+FP. Modified all sections that were related to FORS+C.

Comment thread docs/shrincs_spec/content/9-pors.tex
7. return (tree_idx, leaf_idx)
\end{verbatim}
\paragraph{Note:} The total digest must encode \texttt{k*a + hsl = 6*22 + 24 = 156} bits. The \texttt{H\_msg\_fors} output length (Section~5.4.2) must be set accordingly: \texttt{roundup((k*a + hsl) / 8) = 20} bytes. This is a correction from the original \texttt{roundup((k*a) / 8) = 17} bytes, which was insufficient for the unified digest.
\paragraph{Note:} The total XOF output must encode \texttt{C * b + hsl = 18 * 24 + 16 + 22 = 470} bits.
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

hsl = 24, no?

tree_idx: array of d tree indices
leaf_idx: array of d leaf indices

1. ht_offset ← k * a
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

we should derive ht_offset from the same C := roundup(k * 2^b / t) + 7 formula

\begin{itemize}
\item SHRINCS-B (Bitcoin-optimized): Minimizes signature size at the cost of more verification hashes.
\item SHRINCS-L (Liquid-optimized): Minimizes verification cost at the cost of larger signatures.
\item SHRINCS-B32 (Ligthing-optimized): Minimizes signature size and increses signature usage at the cost of more verification hashes.
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

It's not Lightning optimized. Basically, it is the parameters set that support 2^32 signatures, and yes, we try not to make grinding too difficult

@mjthatch mjthatch merged commit fcbf3ab into main Apr 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants