Skip to content
View TypiCal25's full-sized avatar
60 followers · 19 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report TypiCal25

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.

Content in all repositories owned by your account will be closed.
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
TypiCal25/README.md

Calisto Mathias

Cryptographer at heart · privacy engineer · founder of Umbra

I build privacy infrastructure, and I'm genuinely in love with cryptography.

Give me a zero-knowledge circuit that won't satisfy, a no_std on-chain program with no room to spare, or a Lean proof that refuses to close — and I'm exactly where I want to be. What pulls me in is the craft of it: constructions that are provably correct, implementations that are byte-exact, and the quiet thrill of turning hard mathematics into something real people can rely on.

☁️  What I'm building

Umbra — a multi-chain privacy protocol, and the hardest, most rewarding engineering I've ever taken on. It runs the full stack of applied cryptography: zero-knowledge circuits (Groth16 · Circom), no_std Solana programs, pairing-based BLS aggregation over BN254, Poseidon commitments, protocol-safety proofs formalized in Lean 4, and hand-written native crypto for mobile.

🔐  The cryptography I'm chasing

Zero-knowledge proofs · pairing-based cryptography · hash-based commitments · secure computation · formal verification. I'm not there yet — but I get a little sharper every single day, and that climb is the entire point.

🌱  Along the way

  • 🏆  EthIndia '24 winner — best on-chain dApp at Polygon zkEVM
  • 🌞  Google Summer of Code '24 with Haiku
  • 🌊  Open source with Braidpool
  • 🎓  Information Technology at NITK Surathkal
  • 🎹  A mechanical-keyboard habit, and 🔢  a lasting soft spot for pure maths

💬  Say hello

umbraprivacy.com  ·  LinkedIn  ·  cal@umbraprivacy.com  ·  calistomathias.work@gmail.com

Privacy is a right — I'm building the math that makes it the default.

Popular repositories Loading

  1. fast-poseidon2 fast-poseidon2 Public

    Fast, no_std, field-generic Poseidon2 permutation and hash (BN254 / BLS12-381 / Goldilocks) with a const-generic allocation-free fast path, Grain LFSR parameter generation, and a full verification …

    Rust 3

  2. braidpool-v1 braidpool-v1 Public

    This is the first ever implementation of the Braidpool Decentralised Mining Pool completely written in Rust!

  3. AniFlixr AniFlixr Public

    AniFlixr is an anime streaming platform designed to deliver an uninterrupted viewing experience through ad-free streaming. The project focuses on creating a visually aesthetic user interface to enh…

    JavaScript

  4. Harmony-Flow Harmony-Flow Public

    This repository is for the IRIS selections that are taking place for the Academic Year 2023-2024. I have chosen to complete task 1 of the given three tasks.

    JavaScript

  5. ByteSpryte ByteSpryte Public

    This is my own implementation for the Chip-8 Interpreted Language written in C++. This has mainly been done by going through the technical specification of the Chip-8 Architecture.

    C++

  6. Haiku-GSoC-Contributions Haiku-GSoC-Contributions Public

    This is a shorter version of my Haiku fork which only contains the files that I have edited throughout my time at Haiku. It is also the link that I will be submitting to GSoC :) Resources

    C++