Prop AMM Teardown
The wall#42 other closed program

DexLab

DSwpgjMvXhtGn6BsbqmacdBZyfLj6jSWf3HJpdJtmg6NSolscan
0.00
USDC in the pot
0
backers
0
attempts
est. 1,978
transactions in 24 h
Chip in

USDC goes to this target's escrow with the Memo teardown:chip:DSwp…mg6N. You can take your share back any time before a PASS.

The wallet opens only when you click. Minimum 5 USDC.

Escrow DHQRdR…tmK3SJ · USDC account 6anyvs…SmwVab

print of ELF sha256 f120d7e3525ff873…, lock at 0.00% match

Snapshot.
Read from mainnet and frozen for this deploy slot.

Loader
Upgradeable loader (v3)
Program data
Upgrade authority
Last deploy slot
243,977,673
ELF sha256
f120d7e3525ff8734d00dc4c93c176edf728b30c996db673ced5bc2d98f44a8d
ELF size
207,168 bytes (202.3 KB)
Snapshot taken
2026-11-02 17:45 UTC
OtterSec verify
no verified build
Corpus
built by the judge machine: up to 1,000 recent mainnet instructions and 10,000 fuzzed variants; the real N is printed once it exists

Teardown kit.
Computed from the ELF and recent transactions, no AI. Hunters start here.

22,745
sBPF instructions in .text
303
functions reached by internal calls
1,210
internal call sites
9
syscalls used

Sections

.text185,960
.rodata7,369
.data.rel.ro2,520
.dynamic176
.dynsym288
.dynstr176
.rel.dyn9,728
.shstrtab72

Syscalls

abortsol_create_program_addresssol_get_clock_sysvarsol_invoke_signed_rustsol_log_sol_memcmp_sol_memcpy_sol_memset_sol_try_find_program_address

sBPF flags 0, names read from .dynsym

Largest functions

Offset in .textBytes
0xd8609,648
0x138e86,368
0xc0f06,000
0x10f385,888
0x2c1185,280
0x7d105,264
0x5a984,976
0x126384,784
0x3e284,600
0xfe104,392
0x225884,072
0x20a203,664

Strings in .rodata (10)

Ciphertext arithmetic failedCiphertext is malformedNot enough proof context state accounts providedSplit proof context state accounts not supported for instructionHarvest of withheld tokens to mint is disabledAn invalid …
Error: AccountAlreadyInitializedlibrary/core/src/slice/memchr.rsindex out of bounds: the len is Error: Input token account emptyError: MissingRequiredSignatureError: IncorrectProgramIdError: InsufficientFundsError: Accou…
src/extension/mod.rs
src/processor.rsdivision by zeroalready borrowedrange end index already mutably borrowedassertion failed: mid <= self.len()src/uint.rsInteger overflow when casting to u128src/curve/base.rssrc/curve/constant_price.rscalle…
Instruction: WithdrawSingleTokenTypeExactAmountOutInstruction: DepositSingleTokenTypeExactAmountInInstruction: WithdrawAllTokenTypesInstruction: DepositAllTokenTypesInstruction: SwapInstruction: Initsrc/state.rsPool fee …
attempt to divide by zerocalled `Option::unwrap()` on a `None` valuesrc/precise_number.rssrc/uint.rsInteger overflow when casting to u128
123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyzsrc/entrypoint.rsUnsupported PubkeyErrorsrc/pubkey.rsUnable to find a viable program address bump seed
src/decode.rsError: memory allocation failed, out of memory
library/alloc/src/raw_vec.rscapacity overflowa formatting trait implementation returned an errorlibrary/alloc/src/fmt.rs)BorrowErrorBorrowMutError but the index is :panicked at '', : {
, { } }library/core/src/fmt/num.rs0x000102030405060708091011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909…

Instruction sample

Sampling recent transactions: the cron reads a few at a time from public RPC.

Full kit from the judge

Disassembly, discriminator map over the full corpus, writable and signer patterns, account sizes and owners, CPI targets: computed by the judge machine for this snapshot and published here.

Pot.
Every transfer in and out of the escrow, read from Solana.

0 USDC, no backers yet. The first chip-in opens this pot.

Attempts.
Match percentages and hashes. The source stays encrypted until the verdict.

No attempts yet. Submit a rebuild.

Upgrade history.
One snapshot per deploy slot. A submission is judged against the snapshot it targeted.

Deploy slotELF sha256SizeTaken
243,977,673f120d7e3525ff8734d00dc4c93c176edf728b30c996db673ced5bc2d98f44a8d202.3 KB2026-11-02 17:45 UTC