yuradmt

DeFi security, formal verification

Pinned Repositories

comp-proposal
Language:Solidity0 1 01
erc20transfers-bot
A Twitter bot posting signifcant ERC20 token transfers.
Language:JavaScript2 2 03
torus-htlc
Torus key management system and HTLC (hash time locked contract) integration
Language:JavaScript1 2 00

yuradmt's Repositories

yuradmt/erc20transfers-bot
A Twitter bot posting signifcant ERC20 token transfers.
Language:JavaScript2 2 03
yuradmt/torus-htlc
Torus key management system and HTLC (hash time locked contract) integration
Language:JavaScript1 2 00
yuradmt/comp-proposal
Language:Solidity0 1 01
yuradmt/aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
Language:TypeScript0 0
yuradmt/awesome-cryptoeconomics
An awesome curated list of Cryptoeconomic research and learning materials
0 0
yuradmt/BoringBananasCompany
Language:Solidity1 0
yuradmt/cryptopals-typescript
Cryptopals challenges solutions in Typescript
Language:TypeScript2 0
yuradmt/ethernaut-solutions
Solutions to OpenZeppelin's Ethernaut CTF
Language:Solidity1 0
yuradmt/foundry-template
Foundry-based template for developing Solidity smart contracts
Language:Solidity0 0
yuradmt/MakerDAOEventsBot
A bot posting and explaining every MakerDAO event to a Telegram channel
Language:JavaScript2 0
yuradmt/olympus-contracts
Language:Solidity0 0
yuradmt/olympus-frontend
Language:TypeScript0 0
yuradmt/scaffold-eth
🏗 forkable Ethereum dev stack focused on fast product iterations
Language:JavaScript1 0
yuradmt/squid-dao-web
Language:JavaScript0 0
yuradmt/Tutorials
Practical tutorials of Certora Prover
Language:Solidity0 0