promptcmd: Turn GenAI Prompts into Runnable Programs

I’ve been working on a little side project called promptcmd. It lets you turn AI prompts into CLI commands. So instead of copy-pasting from ChatGPT, you can just do things like:

echo "Hello!" | translate --to German
askrust "How do I create a loop?"
git diff | gen-commitmsg

No plugins or complex setup. Just prompts that work like regular terminal commands.

The Curves of ZoKrates
Lately I have been playing with SNARK toolboxes and DSLs like ZoKrates and Circom, in particular for teaching students and for work. In the process I found that many attempt to build with these tools without sufficient grasp of the underlying concepts, and I am not that innocent myself. So what’s better than a blog post for conveying some of these information?
From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs
The paper was accepted in IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications (ZKDAPPS), associated with 2025 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).
Privacy Enhancing Technologies Symposium 2023
Privacy-Preserving Outsourced Certificate Validation
The paper was accepted for Proceedings of the 2023 Privacy Enhancing Technologies, issue 4.
python-curve25519-dalek
Python library providing cryptographic operations in the Ristretto group
motoko-bitcoin

The library enables bitcoin integration for DFINITY’s Internet Computer. It provides an implementation for all cryptographic primitives and algorithms for building Bitcoin transactions, ready for broadcasting to the Bitcoin network.

The work was carried out under a grant from DFINITY and support from their amazing cryptography team.

Towards Smart Contract-based Verification of Anonymous Credentials
The paper was accepted in the 6th Workshop on Trusted Smart Contracts, associated with Financial Cryptography 2022.
Initial Commit

Welcome. Most content in this website you will find under /blog. My posts focus on programming, reverse engineering, blockchain, and applied cryptography.