Semar Augusto
Engenheiro De Software at ORA
Minas Gerais, Brazil
Summary
👤
Senior🎓
Top SchoolSemar Augusto is a software engineer from Minas Gerais, Brazil with nine years of experience specializing in zero-knowledge systems, verifiable computation, and applied cryptography. Currently at ORA, he’s building a fraud-proof scheme to put machine learning model inference on-chain, compatible with Cannon (MIPS) and Asterisk (RISC-V) VMs to emulate Rust/Go programs on-chain. Previously he contributed to Webb’s core ZK tooling—writing Circom circuits, extending Semaphore for cross-chain relayer integration, and adapting VAnchor to use group membership proofs—alongside implementing on-chain BLS verification and Poseidon optimizations. His background blends applied ML research and hands-on protocol engineering, and he’s taught ZK topics and bridge/light-client infrastructure in an academic setting. Known for bridging theory and production, he focuses on making complex systems auditable and interoperable across chains.
9 years of coding experience
4 years of employment as a software developer
High School Diploma, High School Diploma at CSA | Colégio Santo AntônioNanodegree Natural Language Processing , Nanodegree Natural Language Processing at UdacityBacharelado Ciência da Computação, Bacharelado Ciência da Computação at Universidade Federal de Minas Gerais
Portuguese, English, Spanish
Github Skills (126)
solidity10
heatmap10
anonymous10
semaphore10
circom10
blockchain10
contrast10
polygon9
monorepo9
programming-language9
python9
contract9
gpu9
cpp9
smart-contracts9
Programming languages (11)
Github contributions (5)
webb-tools/semaphore-anchor
Jul 2022 - Dec 2022
A interoperable privacy gadget for creating anonymous proof of membership on blockchains.
Contributions:7 reviews, 6 PRs, 149 pushes in 4 months
interoperableprivacyproof-of-membershipblockchaingadget
semaraugusto/Dotfiles
Jul 2019 - Nov 2022
Contributions:24 pushes, 1 branch in 3 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.