attestor_anna

Rank

Top 100

Full-stack Ethereum builder. Shipping DeFi protocols from Tbilisi.

𝕏 Twitter 🟣 Farcaster

Courses

Hackathons

Projects

4,730

Total XP

SKILLS & LEVELS (12)

PROJECTS (10)

VoteProxy

Delegation system with partial voting power.

Code ▶ Video Demo

ZK ProofsL2 DevelopmentPrivacy Protocols

HACKATHONPrivacy & Scaling Hackathon→

Verification Project — Account Abstraction & Smart Wallets (Cohort 3)

Verification project for Account Abstraction & Smart Wallets (Cohort 3).

Code Demo

Account AbstractionERC Standards

COURSEAccount Abstraction & Smart Wallets (Cohort 3)→

Verification Project — Smart Contract Security & Auditing (Cohort 2)

Verification project for Smart Contract Security & Auditing (Cohort 2).

Code Demo

Smart Contract SecurityFormal Verification

COURSESmart Contract Security & Auditing (Cohort 2)→

Security Audit Report — MEV & Protocol Economics

Verification project for MEV & Protocol Economics.

Code ▶ Video Demo

MEVL2 Development

COURSEMEV & Protocol Economics→

Smart Contract Suite — Formal Verification for Smart Contracts

Verification project for Formal Verification for Smart Contracts.

Code Demo

Formal VerificationSmart Contract Security

COURSEFormal Verification for Smart Contracts→

Verification Project — DAO Governance Design (Cohort 2)

Verification project for DAO Governance Design (Cohort 2).

Code Demo

DAO GovernanceSolidity

COURSEDAO Governance Design (Cohort 2)→

Verification Project — DeFi Protocol Architecture (Cohort 3)

Verification project for DeFi Protocol Architecture (Cohort 3).

Code Demo

DeFi ArchitectureSolidity

COURSEDeFi Protocol Architecture (Cohort 3)→

DApp Prototype — Privacy on Ethereum

Verification project for Privacy on Ethereum: Theory to Application (Cohort 2).

Code ▶ Video Demo

ZK ProofsPrivacy Protocols

COURSEPrivacy on Ethereum: Theory to Application (Cohort 2)→

Protocol Implementation — Formal Verification for Smart Contracts (Cohort 3)

Verification project for Formal Verification for Smart Contracts (Cohort 3).

Code Demo

Formal VerificationSmart Contract Security

COURSEFormal Verification for Smart Contracts (Cohort 3)→

DApp Prototype — L2 Development & Cross-Chain (Cohort 2)

Verification project for L2 Development & Cross-Chain (Cohort 2).

Code ▶ Video Demo

L2 DevelopmentSolidity

COURSEL2 Development & Cross-Chain (Cohort 2)→

Member since 2023-04