maflcko has previously contributed to projects/bitcoin-core. The previous PR was #12452

cc secp256k1 people (@real-or-random @jonasnick @sipa), just letting you know about the removal. Not sure what (and if) something should be done as a follow-up.

At least we still have the code: Up-to-date forks of https://github.com/guidovranken/cryptofuzz (and the submodule https://github.com/guidovranken/cryptofuzz-corpora) are still available under https://github.com/MozillaSecurity/cryptofuzz and https://github.com/KurSh/cryptofuzz-corpora [1]. And just to make sure, I forked these two and all other public repos under the guidovranken account to my account...

But sure, the code alone does not solve the problem. If we want to keep fuzzing, we'll need someone who maintains cryptofuzz, at least in the medium term. And I have no idea how to make that work. I wonder if the other affected maintainers have any plans. There are some big names in #12746 (comment), e.g., LibreSSL and Django.

[1] Found those via GitHub search: https://github.com/search?q=%22cryptofuzz%22++language%3AC%2B%2B+fork%3Atrue&type=repositories&ref=advsearch, https://github.com/search?q=%22cryptofuzz-corpora%22++language%3AC%2B%2B+fork%3Atrue&type=repositories&ref=advsearch