Pinned Repositories
aptos-ctf-framework
bn-ebpf-solana
Binary Ninja plugin for Solana eBPF
otter-verify
On-Chain Program for the verification of Solana Programs.
OtterRoot
Universal root exploit for the linux kernel
sol-ctf-framework
Framework for Solana CTF challenges
solana-poc-framework
A framework for creating PoC's for Solana Smart Contracts in a painless and intuitive way
solana-verified-programs-api
solana-verify
sui-ctf-framework
A framework for building sui based capture the flag challenges
vyper-fuzz
Vyperlang compiler fuzzer
otter-sec's Repositories
otter-sec/bn-ebpf-solana
Binary Ninja plugin for Solana eBPF
otter-sec/OtterRoot
Universal root exploit for the linux kernel
otter-sec/solana-verified-programs-api
otter-sec/sui-ctf-framework
A framework for building sui based capture the flag challenges
otter-sec/aptos-ctf-framework
otter-sec/vyper-fuzz
Vyperlang compiler fuzzer
otter-sec/otter-verify
On-Chain Program for the verification of Solana Programs.
otter-sec/solana-setup
otter-sec/solana-verify
otter-sec/battle-of-titans
otter-sec/solana-verifiable-build
CLI tool for deterministically building and verifying executable against on-chain programs or buffer accounts
otter-sec/uniswap-v4-research
otter-sec/halo2-lib
Monorepo of halo2 crates
otter-sec/SuiTF
otter-sec/dearbitrary
Dearbitrary trait for arbitrary create. Not meant for general use for now.
otter-sec/near-audits
Public Audits in the NEAR Ecosystem
otter-sec/otter-dev-otter-auth-client
otter-sec/solana-verify-squads-mpl
otter-sec/verified-builds
otter-sec/aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
otter-sec/aptos-test-adapter
aptos-core fork
otter-sec/block-sdk-fuzzer
otter-sec/mango-v4
mango-v4 monorepo, contains program, ts client, and py client
otter-sec/otter-dev-otter-cli
otter-sec/phoenix-v1
On-chain order book that atomically settles trades
otter-sec/stellar-verify
otter-sec/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
otter-sec/synonym-wormhole-test
otter-sec/v4
Squads V4
otter-sec/vyper