It's not like Monero is better than this in regards to software security... only formally verified software could provide strong guarantees.
^ retarded nerd assertion
Lightning has had tons of problems in the past 10 years. Monero virtually none! The world’s most critical systems aren’t formally verified! Software written in Forth that was shot into space and is still working decades later without bugs isn’t formally verified! Erlang switches with 9 nines of reliability for decades straight aren’t formally verified! SSH isn’t formally verified, but a lot more depends on its security than any digital currency (and it is very secure despite being significantly more complicated than LN). NGINX, any name server daemons people actually use, none of this is formally verified.
LN is bad because the basic theory is bad. It does not work as people market it on paper, and there are a ton of stupid kludges built on that foundation to try to deliver on the promises of Lightning’s most vocal proponents despite the protocol fundamentally being incapable of what they promised. Monero is, in fact, orders of magnitude more reliable than Lightning, and is not constantly failing in hilarious and absurd ways like. Lightning.
In contrast, Zcash people are the type to jerk off about formal verification (as if I can trust the proofs these disgusting yids and trannies assert are implemented correctly). And they had an inflation bug in *checks notes* June. This kind of idiotic academic handwaving of “just solve all your problems with formal verification” doesn’t really fly in the real world. In fact, jerking off about this academic shit seems to have a perfect negative correlation with security.
Lightning has had tons of problems in the past 10 years. Monero virtually none! The world’s most critical systems aren’t formally verified! Software written in Forth that was shot into space and is still working decades later without bugs isn’t formally verified! Erlang switches with 9 nines of reliability for decades straight aren’t formally verified! SSH isn’t formally verified, but a lot more depends on its security than any digital currency (and it is very secure despite being significantly more complicated than LN). NGINX, any name server daemons people actually use, none of this is formally verified.
LN is bad because the basic theory is bad. It does not work as people market it on paper, and there are a ton of stupid kludges built on that foundation to try to deliver on the promises of Lightning’s most vocal proponents despite the protocol fundamentally being incapable of what they promised. Monero is, in fact, orders of magnitude more reliable than Lightning, and is not constantly failing in hilarious and absurd ways like. Lightning.
In contrast, Zcash people are the type to jerk off about formal verification (as if I can trust the proofs these disgusting yids and trannies assert are implemented correctly). And they had an inflation bug in *checks notes* June. This kind of idiotic academic handwaving of “just solve all your problems with formal verification” doesn’t really fly in the real world. In fact, jerking off about this academic shit seems to have a perfect negative correlation with security.
3❤️1❤️2👌1
