Short factoring proofs: Addition of phi(N)
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 25/100
- Tipo di issue
- Documentazione
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- cryptography, documentation
Direzione di ricerca
Start at the short factoring proof and the vanilla protocol verifier check described in the issue; verify the exponent algebra and the group-order reasoning. Done when the documentation clearly answers whether replacing N−φ(N) with N+φ(N) is valid and records the corrected explanation if needed.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
In the short factoring proof, there is the line $y = r + (N - \varphi(N))e$. In the vanilla protocol, the verifier checks $x \overset{?}{\equiv} z^{y - eN} \mod N$. Because $\varphi(N)$ is the order of the multiplicative group of integers modulo $N$, taking the exponent of a multiple of $\varphi(N)$ gives you the identity 1 for all group elements, so $z^{\varphi(N)e} \equiv 1 \mod N$. This is my understanding how the protocol works.
I was wondering, can we define $y = r + (N + \varphi(N))e$ instead? The minus sign seems redundant to me and the above argument should still work, shouldn't it?
- Lingua principale
- HTML
- Stelle
- 189
- Fork
- 50
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di trailofbits/zkdocs
-
Dark modeAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
trailofbits/zkdocs#69 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
trailofbits/zkdocs#44 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
trailofbits/zkdocs#19 · 2 commenti ·
-
HACSpecAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
trailofbits/zkdocs#7 · 2 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
trailofbits/zkdocs#6 · 1 commento ·
Tutte le issue di trailofbits/zkdocs
Issue simili
-
bug: native AES-CBC byte operations read mutated input after invocationForse già presa @harrshita123 l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
google/webcrypto.dart#436 · 1 commento ·
I maintainer di solito rispondono entro 7 giorni
-
psbt/musig2.py cites the closed btclib ISS 257Forse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
btclib-org/btclib-wallet#350 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
init variableAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
EVerest/EVerest#3052 · 1 reazione ·
I maintainer di solito rispondono entro 2 giorni
-
[Defect]: FFDH pattern treats ephemeral E as requiredForse già presa @Mehrn0ush l’ha presa 4 giorni fa. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 82/100
CycloneDX/specification#1147 ·
I maintainer di solito rispondono entro 1 giorno