Augustin V.

Hi there, thank you for your interest. I am a software engineer with smart contract auditing experience,
self-taught at everything.

++ my notable repos:

Rust but not really rust(dec.2025): no_std no_main and of course no_mangle. Low level Rust code that compiles like C, using the same memory alignment. Uses sbrk to allocate and free memory, paired with a custom dynamic array implementation.
Polysqueeze(nov.2025): An ultra-fast rust library to interact with the Polymarket API with multiple stars on github, maintained by me. using fixed-point math for better performance: ~200 nanoseconds for order execution
Groth16(jul.2025): Zero-knowledge proof algorithm Groth16 python implementation. An application of bilinear pairings for elliptic curves. Project retweeted by Rareskills (tweet_link).
This project took a lot of work, it lead me to learn fascinating concepts of abstract algebra; homomorphisms in particular changed the way I interpret math in general, and field-extensions blew my mind.
Uniswap V3(mar.2025): Educative reproduction of Uniswap V3 written in cairo, the smart contract language of Starknet. Building this was the best way for me to learn about DeFi math putting it into code.

++ PRs of mine:

ZeroXBridge(Starknet): Commitment integrity verification, using the onchain Integrity(yes, thats the name) verifier to enable l1<->l2 transactions.

[more to be added...]

++ security(summer2025):

private security audits of rust-based cross-chain projets, across the Solana Cosmos(and more) ecosystem.
private security audit of Solana DeFi projects <- based on a concept similar to ERC4626
Cantina security contests: 7th/789, 22th/400+

++ private repos:

x402Librarian(Nov2025): x402-gated AI agent librarian service. The core idea was to enable Agent2Agent commerce, and this Librarian agent would offer to help other AI agents to find the best MCPs adapted to their needs. Here is a demonstration that i did with it
prediction market bots strategies, including: sniping, scalping, predicting elon musk tweet count by scraping xtracker.io, market making, and more... Hosted on AWS servers to get the best latency, leveraging WS streaming to monitor price changes. Built upon my polysqueeze library.

++ education:

++ articles:

++ papers:

currently reading: