alexzoid-eth
Follow
-
uniswapv3-book Public
Forked from Jeiwan/uniswapv3-bookUniswap V3 Development Book
JavaScript UpdatedNov 5, 2024 -
uniswapv3-code Public
Forked from Jeiwan/uniswapv3-codeUniswap V3 clone built to learn smart-contracts development in Solidity
Solidity Other UpdatedNov 5, 2024 -
morpho-blue Public
Forked from morpho-org/morpho-blueCertora CVL examples
Solidity Other UpdatedNov 5, 2024 -
Certora-examples Public
Forked from Kirkeelee/Certora-examplesAn index repository with submodules for different examples of Certora projects
Solidity UpdatedNov 5, 2024 -
Immunefi-bug-bounty-writeups-list Public
Forked from sayan011/Immunefi-bug-bounty-writeups-listcuration of all(most) immunefi bug bounty writeups I could find(till now)
UpdatedNov 5, 2024 -
solana-anchor-counter Public
Example of program and python app from solana anchor development course.
Python UpdatedOct 31, 2024 -
solana-native-movie-review Public
Example of program and python app from solana native development course.
Rust UpdatedOct 31, 2024 -
solana-program-examples Public
Forked from solana-developers/program-examplesA repository of Solana program examples
TypeScript UpdatedOct 28, 2024 -
Uniswap v4 x Certora Formal Verification Competition (#2 place)
Solidity GNU General Public License v2.0 UpdatedOct 26, 2024 -
solana-security-reports-sec3 Public
Forked from sec3-service/reportsThe sec3 audit reports and publications
UpdatedOct 22, 2024 -
solana-security-closing-accounts Public
Forked from Unboxed-Software/solana-closing-accountsExample code for Solana Closing Accounts and Revival Attacks lesson.
TypeScript Mozilla Public License 2.0 UpdatedOct 17, 2024 -
euler-vault-cantina-fv Public
Euler v2 x Certora Formal Verification Competition (#3 place)
-
solana-security-bump-seed-canonicalization Public
Forked from solana-developers/bump-seed-canonicalizationExample code for Solana bump seed canonicalization lesson.
TypeScript Mozilla Public License 2.0 UpdatedSep 30, 2024 -
solana-security-account-data-matching Public
Forked from solana-developers/account-data-matchingExample code for Solana Account Data Matching lesson.
TypeScript UpdatedSep 24, 2024 -
solana-security-reinitialization-attacks Public
Forked from solana-developers/reinitialization-attacksDemo code used for the Solana security course.
TypeScript UpdatedSep 17, 2024 -
solana-security-arbitrary-cpi Public
Forked from solana-developers/arbitrary-cpiExample code from the arbitrary CPI lesson from the Solana Program Security course.
Rust Mozilla Public License 2.0 UpdatedSep 16, 2024 -
solana-security-owner-checks Public
Forked from solana-developers/owner-checksExample code for Solana Owner checks lesson.
Rust UpdatedSep 12, 2024 -
solana-security-pda-sharing Public
Forked from solana-developers/pda-sharingExample code for Solana PDA sharing lesson.
TypeScript UpdatedSep 11, 2024 -
solana-security-signer-auth Public
Forked from solana-developers/signer-authDemo code for Solana signer auth lesson
TypeScript UpdatedSep 11, 2024 -
solana-security-type-cosplay Public
Forked from solana-developers/type-cosplayExample code for type cosplay lesson
Rust UpdatedSep 3, 2024 -
solana-security-duplicate-mutable-accounts Public
Forked from solana-developers/duplicate-mutable-accountsDemo code for duplicate mutable accounts lesson
TypeScript Mozilla Public License 2.0 UpdatedSep 3, 2024 -
solana-security-sealevel-attacks Public
Forked from coral-xyz/sealevel-attacks☠️ Common Security Exploits and Protections on Solana
Rust UpdatedAug 1, 2024 -
solana-security-resources-sannykim Public
Forked from sannykim/solsecA collection of resources to study Solana smart contract security, auditing, and exploits.
UpdatedJun 25, 2024 -
custom-storage-examples-fv Public
Certora CVL examples of interacting with storage in a specific slot
Ruby UpdatedMay 14, 2024 -
solana-security-resources-az0mb13 Public
Forked from az0mb13/awesome-solana-securityA curated list of awesome Solana security resources
UpdatedJan 29, 2024 -
2023-10-badger-fv Public
Badger eBTC x Certora Formal Verification Competition (#2 place)
-
-
gho-competition Public
Aave GhoToken x Certora Formal Verification Competition
Solidity MIT License UpdatedNov 25, 2023 -
solana-security-resources-slowmist Public
Forked from slowmist/solana-smart-contract-security-best-practicesCommon pitfalls of Solana smart contracts. Attacks using the Anchor framework. Case Analysis.
Apache License 2.0 UpdatedNov 3, 2023 -
static-a-token-v3 Public
AAVE StaticAToken x Certora Formal Verification Competition
Solidity MIT License UpdatedJul 12, 2023