Skip to content

Instantly share code, notes, and snippets.

View tonyiota's full-sized avatar

Tony Martino tonyiota

13 followers · 38 following
View GitHub Profile
@tonyiota
tonyiota / snippet.txt
Created March 22, 2026 18:47
Global project grep neovim
["<Leader>fl"] = { function() require('telescope.builtin').grep_string({ shorten_path = true, word_match = "-w", only_sort_text = true, search = '' }) end , desc = "Fuzzy Find All Files"},
@tonyiota
tonyiota / .tmux.conf
Created March 22, 2026 17:21
tmux config with universal vim and tmux split navigation
# Use ctrl+s as prefix key
unbind C-b
set-option -g prefix C-s
bind-key C-s send-prefix
# Start window numbering at 1
set -g base-index 1
set -g default-terminal "screen-256color"
set-option -s escape-time 0
@tonyiota
tonyiota / zkpoex_workflow_random_public_address.md
Created May 29, 2025 00:11

➜ zkpoex git:(main) ✗ just prove "exploit(bool)" "true" "./shared/examples/basic-vulnerable/context_state.json" "./shared/examples/basic-vulnerable/program_spec.json" "0" "local"

🚀 Starting exploit proving

  • Function: exploit(bool)
  • Params: true
  • Context State: ./shared/examples/basic-vulnerable/context_state.json
  • Program Specification: ./shared/examples/basic-vulnerable/program_spec.json
  • Value: 0 wei
  • Network: local
  • Bonsai: false
@tonyiota
tonyiota / zkpoex_local_workflow_output.md
Created May 29, 2025 00:04
execution of zkpoex

Command for starting anvil:

➜  ~ anvil -f https://ethereum-holesky-rpc.publicnode.com

Command for deploying the contract:

➜  ~ just deploy-verifier "./shared/examples/basic-vulnerable/context_state.json" "./shared/examples/basic-vulnerable/program_spec.json" "local" "500000000000000000"