ab4n
Logo
Mamy Ratsimbazafy πŸ¦‡πŸ”Š @m_ratsim
Sep 11
WebGPU codegen has landed in Constantine! It shares the same GPU AST as the Cuda backend. Tested with BigInts and Poseidon2 Merkle Trees. Write GPU code once, run anywhere! It needs a restricted subset of Nim with plain old datatypes but same as crypto. Work by @Vindaar @lita_xyz
1
1
2
11
Mamy Ratsimbazafy πŸ¦‡πŸ”Š @m_ratsim
Sep 11
Constantine: github.com/mratsim/constanti…

GitHub - mratsim/constantine: Constantine: modular, high-performance, zero-dependency cryptography...

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols. - mratsim/constantine

github.com

Sep 11, 2025 Β· 2:55 PM UTC

1
1
Mamy Ratsimbazafy πŸ¦‡πŸ”Š @m_ratsim
Sep 11
And our previous presentation of the Cuda backend: lita.foundation/blog/nvrtc-c…

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

lita.foundation
1
1
Mamy Ratsimbazafy πŸ¦‡πŸ”Š @m_ratsim
Sep 11
And the Nim programming language that makes everything possible @nim_lang nim-lang.org/

Nim Programming Language

The Nim programming language is a concise, fast programming language that compiles to C, C++ and JavaScript.

nim-lang.org
4
Load more