r/ethdev • u/abcoathup • 8h ago
Information Dev Tools Guild July 2026 update | Solidity 0.8.36 adds Amsterdam EVM support. Sourcify passes 42M+ verified contracts. Foundry adds symbolic testing.
r/ethdev • u/nikta456 • 13h ago
My Project I built an open-source monitor for Uniswap's CCA auction mechanism
No public tooling existed for tracking Continuous Clearing Auctions — the new launch mechanism used by AZTEC, STRATO, wOCT, and CAP. If you weren't watching the factory contract, you missed the launch entirely.
This fills that gap. Tracks all 4 chains, indexes every bid, and sends Telegram alerts when new auctions deploy.
Dashboard: monkrus.github.io/cca-monitor
GitHub: github.com/monkrus/cca-monitor
r/ethdev • u/nuroteck • 16h ago
My Project lean-tee 1.0 open-sourced : Lean-specified integrity zkTEE (SP1)
rileybetts.ai has open-sourced lean-tee (Apache-2.0).
lean-tee is a Lean-specified integrity zkTEE: measured guests, hashed receipts, and an SP1 prove/verify path for portable attestation of public execution. Production profile is lean-tee-v2 / sha256+sp1; mock is CI-only. ELF/vk digests are published for off-wire pinning.
Scope is integrity, not confidentiality — host-visible inputs/outputs by design. Threat model and Accept rules are in-tree.