#

coinbase-base

Here are 2 public repositories matching this topic...

ukml / moonwell-vs-aave-base

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.

blockchain solidity borrowing lending defi decentralized-finance yield-farming moonwell base-chain base-ecosystem coinbase-base well-token

Updated Dec 18, 2025

GideonDevRel / zkevm-verifier-prototype

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

cryptography ethereum smart-contracts blockchain evm formal-verification zero-knowledge-proofs lean4 zkevm coinbase-base

Updated Feb 19, 2026
Lean

Add this topic to your repo

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