John Toman
@johnadtoman
Followers
156
Following
304
Media
84
Statuses
423
Guy who thinks merkle trees were invented by former German Chancellor Angela Merkel.
0
0
0
Read all about how the team at @CertoraInc and I worked with the fine folks at @aave @bgdlabs and @the_matter_labs on diagnosing an anomaly due to a compiler bug (!!).
You can't trust the compiler. How we discovered a bug in LLVM, a tool used by thousands of projects and millions of users. 🧵👇.
0
1
10
"How do I know which of these Japanese websites is the official one?"."It's the one that's ugliest and hardest to use.". A real conversation with my sister.
0
0
2
There is strong and convincing evidence that I, John Toman, at least at some point in my past, knew how the fuck to use LaTeX.
0
0
2
My esteemed colleague Alex pointed out this is more accurately called "co-CEGAR".
0
0
0
New rule for government regulations:.1. If the number of regulations (n) is odd, you can create 2n + 1 regulations.2. If the number of regulations is even, you must abolish half of the regulations. Checkmate liberals.
0
0
2
Live look at me reading the Ethereum Yellow paper's idea of "formal semantics"
0
0
1
RT @CryptoEliteNews: Incorrect Calldata Validation in Inter-Contract Communication — Certora Bug Disclosure. John Toman, VP of R&D at Certo….
0
3
0
Dun dun dun, another one bites the dust. Thanks to the @solidity_lang team for the fast acknowledgement of the bug report and their help in clarifying the scope of the issue.
@johnadtoman, our VP of R&D, discovered a previously unknown code generation bug in the Solidity compiler that allows maliciously crafted calldata buffers to cause victim contracts to incorrectly introduce extra information into their own external calls.
1
1
5
Another day, another solidity compiler bug 🙃 Disclosure coming soon!.
0
0
2
Ugh, it looks like the latest TikTok challenge is called "Rocking": you trick someone into saying your spouse's name, and then slap them and shout "KEEP MY WIFE'S/HUSBAND'S NAME OUT OF YOUR FUCKING MOUTH".
0
0
0
RT @symposiumSAS: At #SAS2021 last year, @SagivMooly gave an invited talk on cool work done at @CertoraInc in collaboration with @johnadtom….
0
5
0