coinbase-base

Here are 2 public repositories matching this topic...

Formal verification framework for zkEVM circuits using Lean 4 — 7 EVM arithmetic opcodes with ~119 proven theorems

Simple beginner's guide to Moonwell on Base: Lend, borrow, stake WELL, and discover why it's competitive with Aave & Compound for low-fee farming.

Add a description, image, and links to the coinbase-base topic page so that developers can more easily learn about it.

To associate your repository with the coinbase-base topic, visit your repo's landing page and select "manage topics."