Period: Last 30 days
Date generated: 2026-03-06
Verification script: ./verify-rpc-flakes.sh
The go-tests-short CI job (runs on every PR, 12 parallel nodes) contains 25 tests that
smartcontracts
/ My public address
Created
March 16, 2026 16:12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| My public address: 0x64d8b3dA3aC1aDA3e9dD1da29335A9e586FD6Ae5 |
smartcontracts
/ rpc-test-flake-report.md
Created
March 6, 2026 04:49
RPC Test Flake Report: 314 flakes, 0 real bugs in 30 days (ethereum-optimism/optimism)
smartcontracts
/ FuzzProof.lean
Created
March 5, 2026 21:26
FuzzProof.lean — Formal Lean 4 proof of OptimismPortal2 fuzz test fix correctness
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Mathlib | |
| namespace FuzzEquivalence | |
| /-! | |
| # Equivalence proof for the OptimismPortal2 fuzz test fix | |
| File: packages/contracts-bedrock/test/L1/OptimismPortal2.t.sol:2614 | |
| Test: OptimismPortal2_Params_Test::testFuzz_params_validValues_succeeds |
smartcontracts
/ index.html
Created
August 22, 2024 01:52
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Welcome to My Simple HTML Page | |
| This page is generated using Python. | |
| • Item 1 | |
| • Item 2 | |
| • Item 3 |
I hereby claim:
- I am smartcontracts on github.
- I am kfichter (https://keybase.io/kfichter) on keybase.
- I have a public key ASAt7pRxCfZ3opnQlyRG7q868xCSs5n7d6U5zoQnc2SGwQo
To claim this, I am signing this object:
smartcontracts
/ constant-mod-poc.ts
Created
July 1, 2020 20:03
PoC for the constant modification idea
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import BigNumber = require('bn.js') | |
| import { DEFAULT_UNSAFE_OPCODES, Opcode, EVMOpcode } from "@eth-optimism/rollup-core"; | |
| const UNSAFE_OPCODES = Opcode.ALL_OP_CODES.filter((opcode) => { | |
| return ( | |
| DEFAULT_UNSAFE_OPCODES.includes(opcode) || | |
| Opcode.JUMP_OP_CODES.includes(opcode) || | |
| Opcode.isPUSHOpcode(opcode) || | |
| opcode === Opcode.CALL | |
| ) |
I hereby claim:
- I am kfichter on github.
- I am kfichter (https://keybase.io/kfichter) on keybase.
- I have a public key ASD5EEE6GORc1vrh_kqmPkqcBs3VXMaxpbkNxKC3jKxoWgo
To claim this, I am signing this object:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| pragma solidity ^0.4.0; | |
| import "./BrainFuck.sol"; | |
| import "./KittyInterface.sol"; | |
| contract MindBreed { | |
| KittyInterface kittyContract = KittyInterface(0x06012c8cf97BEaD5deAe237070F9587f8E7A266d); | |
| mapping (address => bytes1[]) programs; | |
| event BountyClaimed( |