Niklas Gögge (@dergoegge) 's Twitter Profile
Niklas Gögge

@dergoegge

fuzzing around and finding out @bitcoinbrink

ID: 2716671298

linkhttps://www.dergoegge.de/blog.html calendar_today18-07-2014 12:33:30

90 Tweet

816 Followers

261 Following

Niklas Gögge (@dergoegge) 's Twitter Profile Photo

"This new fee bumping strategy has some nice security benefits and is something other Lightning implementations should consider adopting" morehouse.github.io/lightning/lnd-…

Brink (@bitcoinbrink) 's Twitter Profile Photo

We are excited to announce that Eugene Siegel has joined Brink as an open source engineer working on fuzz testing and Bitcoin Core development!

We are excited to announce that Eugene Siegel has joined Brink as an open source engineer working on fuzz testing and Bitcoin Core development!
Stphnvlstk (@stphnvlstk) 's Twitter Profile Photo

Have you, too, had enough of Core devs abusing their power to release highly reviewed software with sane defaults? Come to my bitcoinkernel workshop at BTC Prague's dev/hack/day and take the first step towards becoming your own tyrannical full node dev.

b10c (@0xb10c) 's Twitter Profile Photo

I've persistent my notes on the May 2023 Bitcoin Core node DoS problems. These are background information for the disclosure from last year. When non-ideal sorting, mass BRC-20 mints, and spy nodes caused a CPU Denial-of-Service on the Bitcoin network: b10c.me/observations/1…

Brink (@bitcoinbrink) 's Twitter Profile Photo

Brink is happy to announce that Niklas Gögge (Niklas Gögge) joined our grant committee! With his experience focused on Bitcoin security and finding, fixing, and disclosing vulnerabilities across projects and his fuzz testing work, we are excited for his expertise on the committee!

Brink (@bitcoinbrink) 's Twitter Profile Photo

One year ago Marco (Marco) embarked on a year long Brink fellowship in our London office. Today, after a year of progress and contributions, we’re happy to bring him on as a full-time Bitcoin Core engineer…!

Brink (@bitcoinbrink) 's Twitter Profile Photo

Russell O’Connor joined us to explain his work on formal verification of software, the process of mathematically proving that a program satisfies its specification. - Overview of formal verification of software - Walkthrough w/ libsecp256k1 - Coq, Rocq, Clightgen - SafeGCD - Q&A