MarcoFalke (@MarcoFalke) profile picture

Bitcoin minimalist, Fuzzing

Malmö, Sweden 🇸🇪
Joined January 2016
Photo by MarcoFalke (@MarcoFalke)Photo by MarcoFalke (@MarcoFalke)Photo by MarcoFalke (@MarcoFalke)Photo by MarcoFalke (@MarcoFalke)Photo by MarcoFalke (@MarcoFalke)Photo by MarcoFalke (@MarcoFalke)Photo by MarcoFalke (@MarcoFalke)
MarcoFalke retweeted
This ultimately resulted in a change to GCC (thanks @MarcoFalke), which we’ll backport to the GCC we use to compile releases.
Another case of cross-architecture non-determinism. Running a Windows cross-compiler, on x86_64 and aarch64, produces this difference in assembly, from the following (minified) code. Running on riscv matches x86_64. Noticed while updating our release compiler from GCC 13 to 14.
7
13
1
91
25,077
MarcoFalke retweeted
We're proud to donate $1.1M to a diverse group of organizations around the world that promote privacy, digital rights, access to information online, and a healthier online ecosystem. This is made possible through your support of DuckDuckGo—thank you! 🎉 spreadprivacy.com/2024-duckd…
29
64
21
532
208,253
MarcoFalke retweeted
The Bitcoin Whitepaper is now available for people in the UK to read freely once again. The default judgement obtained fraudulently by Craig Wright has been overturned. Thank you to everyone who helped. Bitcoin: A Peer-to-Peer Electronic Cash System bitcoin.org/bitcoin.pdf
52
231
28
845
45,955
MarcoFalke retweeted
Thanks for all the kind messages and tweets I've seen and received over the past 2 days. It's wonderful to see in action how Bitcoin is for anyone. For those of you calling for my head or telling me to stop being involved in Bitcoin, go fuck yourself.
71
52
10
697
44,374
Today we announce the new disclosure policy the Bitcoin Core will adopt for most reported vulnerabilities. We also publicly disclose 10 vulnerabilities affecting Bitcoin Core versions lower than 0.21.0. groups.google.com/g/bitcoind… github.com/bitcoin-core/bitc…
11
63
13
167
40,974
In the beginning of June, it’s time for the citizens of the European Union to elect new Members of the European Parliament. Vote for candidates who stand up for privacy as a human right! 11/11
4
28
3
182
13,890
🇬🇧The verdict against Tornado Cash programmer @alex_pertsev criminalizes legitimate anonymity and all programmers who make it possible. We Pirates fight for digital freedom because freedom is the foundation of our society! More: patrick-breyer.de/en/convict…
1
34
79
5,459
fuzztesting really is amazing
5
17
1,792
-ftrivial-auto-var-init=pattern in combination with Asan and UBsan may be a better sanitizer than Msan or valgrind, because it can even detect uninitialized memory reads before they are used to take a code branch.
2
877
MarcoFalke retweeted
The LTS program has a longer time horizon than regular grants, geared towards long-term stability for grantees. The first recipient is @MarcoFalke, a long-term maintainer and contributor of Bitcoin Core with thousands of contributions over many years. 🫡 opensats.org/blog/announcing…
14
31
12
157
71,357
If you think OSS licenses matter and devs should be free to contribute w/o fear of multi-million-$ SLAPP lawsuits, this case matters. It says bitcoin on the tin, but it’s about all of OSS. And yes it’s really costing millions to defend the MIT license. bitcoindefense.org/our-work/
20
133
9
367
107,922
We've seen both recent LLVM and GCC versions heavily "optimize" standard constant-time tricks (e.g. creating bitmasks from booleans) into branches. We use valgrind tests to catch these cases, but I worry that other code bases are affected by recent compiler improvements as well.
libsecp256k1 0.3.2 resolves a potential timing sidechannel in ECDH that may occur with the recently released GCC 13 (and possibly future versions). Affected users are strongly encouraged to update. This was discovered using the lib's tests, which can detect certain sidechannels.
7
14
35
11,834
Guix's main branch and its entire package base can now be built from a 357-byte auditable program: a Full-Source Bootstrap. This means the first step I mentioned here: nitter.cf/carl_dong/status/15222… is now complete, and looking at the blog post there's active work on the second.
1
13
1
39
8,604
I have been the quality assurance and testing maintainer of Bitcoin Core for about 7 years now. In a challenging decision, I concluded to transition out of my role as maintainer. 🧵
41
1
2
141
3,982
I am grateful for @Okcoin having supported 3 out of my 7 years as maintainer, and for @paradigm having co-sponsored the last grant.
3
35
1,551
I remain passionate about open source and Bitcoin and I am positive about the future, however being a maintainer is no longer a good fit for me personally. I am happy about my achievements and recognize that they would not have been possible without my sponsors.
2
47
1,239
MarcoFalke retweeted
Coincidentally, coverage about #bitcoin core devs in the WSJ today. While it's positive to highlight how open-source development works, not sure I agree with the whole "mysterious control" angle. The work is extremely public, and ultimately nodes need to run the code.
3
5
32
5,122
Thank you @Okcoin, a long time sponsor of my full time work on Bitcoin Core, and @paradigm for partnering on the renewed grant. I like that @Okcoin pays me directly in #Bitcoin, which I can spend without extra hops at all businesses accepting LN⚡ or BTC.
We're excited to announce that we've partnered with @paradigm for the renewal of our grant to @MarcoFalke, one of #Bitcoin core's maintainers! blog.okcoin.com/okcoin-and-p…
8
6
1
82
10,685