Zulip Chat Archive

Stream: Schnorr RSA paper

Topic: RSA

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:00):

https://eprint.iacr.org/2021/933

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:02):

Schnorr published the (at least) third revision of a WIP paper, claiming the destroy of RSA. "This destroys the RSA cryptosystem." in his own word.

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:02):

Fast Factoring Integers by SVP Algorithms, corrected

Claus Peter Schnorr

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:03):

I'm not an expert of cryptography, it's just a wish: I hope someday formal verification tools like Lean (and their theorem libraries) will be mature enough to verify paper like this.

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:07):

The Liquid Tensor Experiment is an amazing breakthrough in the application of pure mathematics. Maybe someday someone will propose a similar challenge in theoretical computer science, cryptograhy, and so on?

Kevin Buzzard (Jul 11 2021 at 15:07):

I'm not sure that a Lean chat is a place to talk about a random unrefereed Lean-free preprint and I'm even less sure that it's worth creating a new stream for such a conversation. How about we wait until the math/CS community has decided on the worth of the paper? If the author thinks their algorithm is better than the standard ones then why isn't the author proving this by going further than the standard algorithms e.g. by factoring some RSA numbers? When this happens I'm sure there will be a conversation to be had.

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:09):

My apology! please let me know what's appropriate, should I merge it to some other stream, or can someone help to do that? or should this conversation be archived at all?

Kevin Buzzard (Jul 11 2021 at 15:11):

My experience is that talking about unrefereed preprints which claim amazing things is pretty much always a waste of time unless you're an expert in the domain who feels like making their opinions public.

Qian Hong (wechat: fracting) (Jul 11 2021 at 15:11):

I agree with you, sorry about that.

Qian Hong (Jul 11 2021 at 15:13):

Is there a way to delete this stream? or should I mute it?

Qian Hong (Jul 11 2021 at 15:19):

Archiving a stream is only available to organization owners and administrators.

https://fmcthanos.zulip.com/help/archive-a-stream

Sorry for that! Appreciate it if some admin doesn't mind archive this stream. Learn something today, won't make the same mistake next time.

Eric Wieser (Jul 11 2021 at 15:41):

Probably @Bryan Gin-ge Chen should just move this thread to #new members or #general, then the stream will be empty

Last updated: Dec 20 2023 at 11:08 UTC