scientific article; zbMATH DE number 1504550

MaRDI QIDQ4502501zbMATH OpenFDO

Authors Tri van le, Vijay Varadharajan

Publication date 4 January 2001

zbMATH Keywords

committment schemestatistical zero-knowledge

Mathematics Subject Classification ID

Factorization (11Y05) Primality (11Y11) Cryptography (94A60)

Recommendations

• How to formally and efficiently prove prime(2999)
• scientific article; zbMATH DE number 5902091
• The prime number theorem is PRA-provable
• A formally verified proof of the prime number theorem
• scientific article; zbMATH DE number 2358985
• An elementary proof of the prime-number theorem
• Efficient proofs that a committed number lies in an interval
• scientific article; zbMATH DE number 1440132
• scientific article; zbMATH DE number 4103163

Cited in

(2)

• On the Portability of Generalized Schnorr Proofs
• Certifying giant nonprimes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4502501)