Allarious

Allarious's Stars

• matter-labs/zksync

  zkSync: trustless scaling and privacy engine for Ethereum

  Language:Rust4.9k1753482.7k

• matter-labs/zksync-era

  zkSync era

  Language:Rust3.1k1142512.1k

• Cyfrin/foundry-full-course-f23

  2.8k7566659

• compound-finance/compound-protocol

  The Compound On-Chain Protocol

  Language:TypeScript1.9k79751.2k

• d-xo/weird-erc20

  weird erc20 tokens

  Language:Solidity1.4k215171

• fvictorio/evm-puzzles

  A collection of EVM puzzles

  Language:JavaScript81394160

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python802911465

• matter-labs/zksync-lite-docs

  zkSync Lite documentation

  Language:Shell7754512489

• spearbit/armory

  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities, or find-the-bug content. This is for the real researchooors.

  39422022

• liquity/dev

  Liquity monorepo containing the contracts, SDK and Dev UI frontend.

  Language:JavaScript32018251311

• compound-finance/comet

  An efficient money market protocol for Ethereum and compatible chains (aka Compound III, Compound v3).

  Language:TypeScript2461454143

• CryptoServices/dasp

  The Decentralized Application Security Project

  Language:HTML23632825

• Certora/Tutorials

  Practical tutorials of Certora Prover

  Language:Solidity229148189

• 0xNazgul/fuzzydefi

  Pre-built security properties for commonly forked DeFi protocols

  Language:Solidity1944023

• AmadiMichael/UniswapV2-Huff

  Optimised Uniswap V2 contracts written in Huff language

  Language:Solidity1083010

• devdacian/solidity-fuzzing-comparison

  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

  Language:Solidity995114

• jordaniza/OZ-Upgradeable-Foundry

  Minimal Upgradeable Contract Deploy and Test with foundry

  Language:Solidity931020

• matter-labs/v2-testnet-contracts

  Language:Solidity6314432

• code-423n4/2023-03-zksync

  Language:HTML524023

• chinmay-farkya/Audits

  This repository represents my portfolio of smart contract security audits and audit contest findings

  51204

• zobront/halmos-solady

  Formally verifying consistency between Solmate and Solady using Halmos

  Language:Solidity50306

• 0xJCN/Ethernaut-CTF

  Ethernaut CTF solutions with Ape, Vyper, & Huff

  Language:Python36201

• compound-developers/compound-3-developer-faq

  The FAQ answer and code examples repository for Compound III developers.

  Language:Solidity32219

• ozgunozerk/howmuch

  Open-Source Portfolio Aggregator and Report Generator

  Language:Dart271421

• 0xJCN/Damn-Vulnerable-DeFi-V3-CTF

  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff

  Language:Solidity25100

• MatinR1/UpgradeableTest

  Upgradeability test for UUPS-type proxies using Foundry toolkit

  Language:Solidity252

• eugenioclrc/erc20-benchmark

  gas benchmark between solmate, oz and huff implementations

  Language:Solidity4

• mavafadar/cat-classification-LR-as-NN

  Language:Python3100

• Certora/Secureum2023_ERC4626_public

  Language:Solidity2208

• Certora/LiquidityPoolExample

  Example Certora verification for a simple multi-contract system

  Language:Solidity11005