tsueti Goto Github PK

2022-11-dodo-judging

for reference and learning

2023-05-blueberry

2023-05-blueberry

2023-06-bond

Options

2023-07-blueberry

Blueberry Update #3 | August 2023 | 23.6K USDC

2023-08-arbitrum

#55 $90,500 Arbitrum Security Council Election System

2023-08-gmx-fv

Certora-GMX Formal Verification

allo-v2

[WIP] Contracts for Allo v2

aurora-engine

⚙️ Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.

contracts-v2

notional-finance Apr 2023

gas-puzzles

A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

gmx-synthetics

GMX SHERLOCK CONTEST 25 APRIL 2023

hardhat-security-fcc

Hardhat Security course from Patrick Collins

hats-audit

IBO, Vesting & Bond mecanism repo prepared for Hat finance audit competition

hats-contracts

#3 HATs Arbitration Contracts

index-coop-smart-contracts

Repo housing contracts, deploys, and js library for Index Coop

index-protocol

Set Protocol V2 Fork including extensions developed by IndexCoop

jusdv1

JUSD

madmax

Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

op-eco

repo for working on bridging ECO to optimism

perennial-mono

root

Core library for DeFi.

scsvs

Smart Contract Security Verification Standard

smart-contract-evm

Smart contract for JOJO Exchange (EVM version)

smart-contracts

Detailed smart contract explanations and examples.

solidity-examples

solidity example contracts

splits-diversifier

Splits Diversifier

splits-oracle

Splits Oracle

splits-pass-through-wallet

Splits Pass

splits-swapper

Splits Swapper