You must be logged in to sponsor mratsim
Become a sponsor to Mamy Ratsimbazafy
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).
- https://github.com/mratsim/constantine
- I develop a tensor and deep learning library:
- I develop high performance and composable multithreading runtimes
- 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
Featured work
-
mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Nim 413 -
mratsim/Arraymancer
A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and OpenCL backends
Nim 1,340 -
mratsim/weave
A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead
Nim 540 -
status-im/nimbus-eth2
Nim implementation of the Ethereum Beacon Chain
Nim 551