package
Version:
v0.8.5
Opens a new window with list of versions in this module.
Published: Feb 22, 2023
License: Apache-2.0
Opens a new window with license information.
Imports: 8
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
Documentation
¶
NewProof generates a proof that:
- n = pq
- p and q are odd primes
- p, q == 3 (mod n)
With:
- W s.t. (w/N) = -1
- x = y' ^ {1/4}
- z = y^{N⁻¹ mod ϕ(N)}
- a, b s.t. y' = (-1)ᵃ wᵇ y
- R = [(xᵢ aᵢ, bᵢ), zᵢ] for i = 1, …, m
Source Files
¶
Click to show internal directories.
Click to hide internal directories.