№ 004 / LEDGER EDITION
TERSEDIA · Q2 2026
--:--:-- WIB · UTC+7 · Yogyakarta, ID
Dewangga PraxindoWeb3 Security ResearcherEst. 2022

Dewangga Praxindo. Web3 security researcher yang mengamankan smart contract penggerak uang sungguhan, sekaligus membangun sistem AI dan produk di sekitarnya.

Saya Web3 security researcher yang berbasis di Yogyakarta, Indonesia. Saya mengaudit kontrak yang memegang uang sungguhan, sekaligus membangun sistem AI dan produk di sekitarnya. $50M+ TVL ter-deploy, tiga audit PeckShield, nol critical.

A ·Security ResearchAudits · Contests · 0 Critical
B ·AI SystemsAgents · RAG · Evals
C ·Full-StackNext · TypeScript · Cloud
1 / 3Satu engineer.
Tiga disiplin.
§ 01 Yang saya bangun

Enam hal yang bisa saya amankan dan kirim untuk Anda, end-to-end.

01Security Research

Kontes audit di Sherlock dan Code4rena. Threat model sebelum satu baris kode, Slither dan Aderyn di setiap PR. Tiga audit PeckShield pada protokol yang saya bangun, nol temuan critical.

AUDITED0 critical

02Smart Contracts

Solidity dan Rust. Pengujian intens sebelum audit apa pun: fuzz test, invariant, dan mutation testing di setiap perubahan.

STACK.sol · .rs

03DeFi & Onchain

Vault, liquidity pool, dan strategi yield yang menyimpan uang pengguna sungguhan. Protokol produksi di Arbitrum dan Ethereum.

TVL$50M+

04AI Engineering

LLM agent, pipeline RAG, dan eval yang benar-benar rilis. Function calling, tool use, retrieval, dan guardrail, dari prompt sampai produksi.

MODELSGPT · Claude

05Full-Stack Apps

React, Next.js, TypeScript dari ujung ke ujung. Auth, pembayaran, realtime, dan database di baliknya. Saya kirim produk utuh, bukan sepotong.

SHIPPEDNext · TS

06Infra & Ship

CI/CD, observability, dan cloud. Postgres, edge function, queue. Bagian tak menawan yang menjaga produk tetap hidup jam 3 pagi.

UPTIME24/7
§ 02 Cara saya bekerja

Tiga fase. Sama setiap kali.

  1. 01DAYS 01-03

    Scope & desain

    • Pahami masalahnya sebelum stack-nya. Baca kodenya, spesifikasinya, karya sebelumnya.
    • Petakan alur data dan batas kepercayaan. Tandai setiap titik di mana nilai atau state melewatinya.
    • Pilih tool yang pas (model, framework, chain) lalu tulis spesifikasi yang kita bangun.
  2. 02WEEKS 01-04

    Bangun & uji

    • Kirim dalam potongan vertikal. Software yang jalan tiap minggu, bukan reveal besar-besaran.
    • Tes hidup di samping kode: eval untuk AI, e2e untuk app, fuzz & invariant untuk kontrak.
    • CI di setiap push. Type-safe dari ujung ke ujung. Gate coverage sebelum apa pun di-merge.
  3. 03FINAL WEEK

    Rilis & pantau

    • Deploy dengan rollback. Feature flag, timelock, dan kill switch teruji di jalur uang.
    • Monitoring, logging, dan trace terpasang. Saya di-page sebelum pengguna.
    • Audit jalur kritis. On-call 30 hari pertama setiap peluncuran.
§ 03 Karya pilihan

Tujuh proyek.
Semua live atau di produksi.

TOLDPROOF · 2026SHIPPED

TOLDPROOF

Cara bagi AI agent dan manusia membuktikan prediksi mereka jujur. Disegel di Sui, dibuka tepat waktu.

AI AgentsSui Movex402
61/61 · 0 critical
AMALY · 2026SHIPPED

Amaly

Aplikasi full-stack pelacak salat untuk Ramadan. Pembaca Quran, streak, dan leaderboard. Dirilis sebagai PWA.

Full-StackNext.jsPWA
224+ users
REKON · 2026SHIPPED

RekonGG

Prediksi esports bertenaga AI di Polymarket. Model memilih edge-nya, Anda bayar pakai USDC sekali klik.

AINext.jsPolymarket
Live
LAZOR · 2026SHIPPED

LazorKit SDK

Template wallet Solana dengan Face ID dan Touch ID. Tanpa seed phrase.

Full-StackSolanaWebAuthn
Dev template
VOUCH · 2026SHIPPED

Vouch Protocol

Buktikan hal tentang wallet Solana Anda tanpa mengungkap identitas. Dibangun dengan sirkuit zero-knowledge Noir.

ZKSolanaNoir
Hackathon
BOH · 2022SHIPPED

Battle of Heroes

Game battle NFT dengan randomness yang adil dan bisa diverifikasi. Pemenang hackathon Chainlink 2022.

SolidityChainlink VRF
$500 prize
§ 04 Rekam jejak keamanan

Saya berburu bug di ruang publik,
melawan seluruh peserta.

KREDENSIAL · № 001LULUSAN
RektOff Solana Auditor Bootcamp

RektOff Solana Auditor Bootcamp

Lulusan bootcamp keamanan Solana RektOff. Mengaudit program Anchor dan native: validasi akun, keamanan CPI, dan pola eksploitasi yang menguras protokol.

SOLANA · SECURITYCERTIFIED · 2026
KREDENSIAL · № 002TOP 25
Profil kontes audit Sherlock untuk BadGenius

Kontes audit kompetitif

Kontes audit publik di Sherlock dan Code4rena, bersaing dengan seluruh peserta untuk menemukan bug sebelum penyerang. Dua temuan Medium di kontes XRP Ledger, finis peringkat 20.

Kontes3
Medium2
Peringkat terbaik#20
Bayaran$3.36K
SHERLOCK · CODE4RENALihat profil
§ 05 Log deploy

Sembilan commit ke produksi.

DEPLOY · LOG 5 LIVE / 9 TOTALSIGNED · DWX
TanggalProyekChainAlamatCatatan
2026.04.12TOLDPROOFSUI TESTNET0x3450…22e4 61/61 tes · 0 critical
2026.03.05AMALY v2WEB · PWA·224 pengguna bulanan
2026.02.18REKON.GGPOLYMARKET·AI · prediksi esports
2026.01.30LAZORKIT SDKSOLANA·Template WebAuthn
2026.01.12VOUCH PROTOCOLSOLANA · NOIREhSk…LuaD Hackathon ZK · finalis
2025.11.22FACTOR LEV WETH/USDCARBITRUM ONE0xcB31…D28f Leverage Compound WETH/USDC
2025.09.04FACTOR MULTILEND USDCARBITRUM ONE0xf19c…6cd2 Vault multilend USDC
2025.06.18FACTOR cbETH LENDINGBASE0xee65…40f6 Lending USDC boosted cbETH
2022.10.09BATTLE OF HEROESETHEREUM·Hackathon Chainlink · pemenang
END · OF · ROLL· · ·
§ 06 · Kontak

Yuk
bangun sesuatu
yang layak dikirim.

Saya bales di bawah 24 jam pada hari kerja. Siap untuk security review, kontes audit, AI engineering, dan pembuatan produk full-stack, mulai Q2 2026.