About¶

I am Ivan Anishchuk, a software developer working on formal verification for Ethereum. I am spending cohort seven of the Ethereum Protocol Fellowship on machine-checked proofs about the protocol.

The fellowship¶

The Ethereum Protocol Fellowship (EPF) brings developers into Ethereum core-protocol work. Fellows spend the cohort on a focused project alongside client teams and researchers, and they post biweekly dev updates on their progress. This site collects mine.

Contact¶

• GitHub: IvanAnishchuk
• X: @IvanAnishchuk
• Farcaster: @IvanAnishchuk
• LinkedIn: ivananishchuk
• Web: ivananishchuk.com