Skip to content
View AlgofootPrint's full-sized avatar
🟢
Online
🟢
Online
28 followers · 28 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report AlgofootPrint

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
AlgofootPrint/README.md

dupont · AlgofootPrint

Open source contributor focused on zero-knowledge infrastructure.

Currently contributing to Miden VM — a STARK-based zkVM powering private, scalable blockchain computation.

Where I build

Layer Focus
ZK / VM Miden VM internals — corelib docs, correctness fixes
Assembly MASM — instruction semantics and edge cases

Notable work

0xMiden/node

  • #2005 — Replace BTreeMap/BTreeSet with HashMap/HashSet where ordering is not required (merged Apr 28, 2026)

0xMiden/miden-vm

  • #3061 — docs(assembly): fix adv_pipe memory address notation in instruction reference (merged Apr 28, 2026)
  • corelib documentation: mmr::get failure semantics, memory trace corrections

0xMiden/project-template

  • #38 — fixed build-contracts hook: path scope leak, runtime tool detection, duplicate build execution (merged Apr 15, 2026)

Ecosystems

Miden (STARK/ZK) · Ethereum/EVM · Base · Solana

Pinned Loading

  1. project-template project-template Public template

    Forked from 0xMiden/project-template

    Rust template for Miden projects

    Rust 1

  2. mindvault mindvault Public

    JavaScript 1

  3. Banix Banix Public

    TypeScript 1

  4. Exploratory-Data-Analysis.SQL Exploratory-Data-Analysis.SQL Public

    1

  5. Interactive-Dashboard-Report-for-Amazing-Martstore-using-Power-BI- Interactive-Dashboard-Report-for-Amazing-Martstore-using-Power-BI- Public

    Utilizing Power BI tools for a detailed responsive maps and scatterplots for data visualization.

    1

  6. UK-Bank-customers-business-intelligence-report-using-Power-BI UK-Bank-customers-business-intelligence-report-using-Power-BI Public

    Using Power BI to create and analyse a business report for four different regions including England, Northern Ireland, Scotland and Wales to better improve the bank for each region.

    1