mratsim

View JSON Representation

Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing

Funding Links: https://github.com/sponsors/mratsim

• Name: Mamy Ratsimbazafy
• Location: Paris
• Kind: user
• Followers: 918
• Following: 415
• Total stars: 3626
• Repositories count: 64
• Created at: 2022-11-09T18:50:19.306Z
• Updated at: 2025-03-26T03:32:01.941Z
• Last synced at: 2025-03-26T03:32:01.941Z

GitHub Sponsors Profile

Hey Mamy from France,

I develop high speed cryptography for zero-knowledge proofs and blockchain:

https://github.com/mratsim/constantine
currently the fastest of all projects benchmarked (including C+assembly, C++, Rust and JIT projects)
with CPU support and planned GPU support (the codegen is already working).

I develop a tensor and deep learning library:

https://github.com/mratsim/weave

I develop high performance and composable multithreading runtimes

https://github.com/mratsim/weave
https://github.com/mratsim/constantine/tree/master/constantine/platforms/threadpool

Interested in formal verification and high assurance software:

Wrote a book to introduce Nim to security auditors: https://nimbus.guide/auditors-book/
Multithreading formal verification https://github.com/mratsim/weave/issues/18
Cryptography formal verification https://github.com/mratsim/constantine/issues/6

Love to push boundaries

A compiler approach for tensor libraries (before MLIR!): https://github.com/mratsim/laser/tree/master/laser/lux_compiler/core
A multithreading runtime unifying IO and CPU bound workloads: https://github.com/mratsim/weave-io-research/tree/master/research

See also my talks: https://github.com/mratsim/talks

• Current Sponsors: 0
• Past Sponsors: 0
• Total Sponsors: 0
• Minimum Sponsorship: $1.00

Featured Works