Applied cryptography, ZK circuits, and smart contract development. We ship production code into Consensys's gnark and Starknet's standard SNARK verifier garaga, build ecosystem tooling like Starklings, and design privacy protocols like MISTzap.
34%
State-of-the-art improvement for Pairings
#1
External contributor to gnark by commits
1st
ZK proof verification on Starknet
2014
Building software for over a decade
Since 2022, we've focused on blockchain infrastructure, zero-knowledge proofs, and applied cryptography for the Ethereum ecosystems. Before that, we worked in general web and application development, starting in 2014.
01
Bespoke verifiers and provers; homomorphic encryption and targeted optimization work. Production ready.
02
Smart contracts development for trustless, enterprise grade protocols covering DeFi, aggregators and multi-participant designs.
03
Private state management with zero knowledge statements with frontend proof generation for trust-minimised private protocols.
04
End-to-end protocol development, from contracts and circuits to internal tooling, interfaces and services around them.
zk-SNARK circuit library, 1.6k+ GitHub stars, used in Linea and elsewhere in the Ethereum zk stack.
Shramee is gnark's largest external contributor by commit count. Every contributor ranked above him on GitHub's contributor list — gbotrel, ThomasPiellard, ivokub, yelhousni, Tabaie — is a Consensys or Consensys/Linea team member, confirmed both by gnark's own published contributor affiliations and directly by the client.
Merged pull requests, spanning releases v0.10–v0.15:
Standard SNARK verification library for Cairo and Starknet.
Our cairo_pairing project verified the first ZK proof on Starknet. Its extension-field-batching technique was later adopted into garaga. Garaga's maintainers describe the technique as making Miller loops “almost 2x cheaper,” with witness size that stays constant regardless of proof count (PR #129).
Shramee is listed in garaga's official contributors list.
Interactive Cairo/Starknet tutorial, inspired by Rustlings. Available as a browser app (starklings.app) and a CLI tool, sharing one set of exercise definitions.
470+ GitHub stars, 450+ forks, 200+ commits. Used in workshops and hackathons in the Starknet ecosystem, and referenced publicly by StarkWare co-founder Eli Ben-Sasson.
@EliBenSassonThis is a really nice tool to practice Cairo using a Rustlings approach. Starklings.appView on X →
Build decentralized games and applications faster by focusing on what matters: novel game mechanics and distribution models enabled by blockchains and zero-knowledge proofs.
BN254 pairing implementation. 732+ commits. Implements the full pairing check, lazy field reduction, and a residue-witness technique that removes the final exponentiation step. Verified Starknet's first ZK proof; its core optimization was later adopted into garaga.
Built on optimizations from Aranha et al., Costello–Stebila, and Novakovic & Eagen. Groth16 verification runs in roughly 7 million steps.
Additive homomorphic encryption for Noir, using elliptic curve ElGamal. Key generation, encryption, decryption, homomorphic addition, and in-circuit message-embedding verification.
@shrameetweetsNoir ElGamal — additive homomorphic encryption for Noir using elliptic curve ElGamal.View on X →
Documentation generator for Cairo, written in Rust. Produces Markdown output with an index for README embedding.
@shrameetweetsHanji — a documentation generator for Cairo, written in Rust.View on X →
Searchable catalog of Cairo functions pulled from GitHub repositories, with fuzzy search and live star/commit data.
@shrameetweetsCairo Latte — searchable catalog of Cairo functions with fuzzy search and live data.View on X →
@EliBenSassonFinished Starklings!! Thx @shrameetweets for creating it!
View on X →
@scottpiriouproud to say I am now an official cairo senior dev (with Starklings)
View on X →
@_chachaleoShramee on Account Abstraction at MuChiangMai.
View on X →
@shrameetweetsMISTzap powered by @_mistcash wins the 3 hour Starkzap Blitz 🔥
View on X →
@AW_ResearchShramee Srivastav joining for a panel on Autonomous worlds.
View on X →
@starkiencemassive cost improvements on Starknet privacy apps.
View on X →
@Buremo_iredeHere is MISTzap, a simple way to send crypto privately using QR codes, completely gasless.
View on X →
@invisiblgardenAnnouncing Shramee Srivastav (@shrameetweets) as mentor for @invisiblgarden edition 2!
View on X →
@AbdelStarkreal life privacy payment on starknet via mist cash protocol, today, on mainnet.
View on X →
@barretodavidNo better way to understand what @shrameetweets has been working on with @_mistcash than this...
View on X →
@shrameetweetsIOP security by algebraic intuition on the whiteboard. Irreducible polynomial divisor saves the day.
View on X →
We'll review your requirements, assess the technical scope, and send a proposal with a timeline and quote.