Hacker GitHub

← All repos

mratsim/constantine

View on GitHub ↗ ★ 501 Nim

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

18 mentions on Hacker News by 6 people: 2 stories, 16 comments · first 2020-04-22 · latest 2026-05-26

Mentions per year 18 mentions · busiest year 2024 (6)
20082026
  1. You can see all the details at: https://github.com/mratsim/constantine , but to answer your "how" question briefly here, something Nim shares with most (all?) "systems programming languages" is "easy" integration with assembly languages --…
    comment by cb321 · 2026-05-26 · in Performance of Rust Language [pdf]
  2. …per protocol. The finite field backends and the elliptic curves supported are all generic as well: https://github.com/mratsim/constantine/blob/master/constanti...
  3. Great question, first of all I did extensive research https://github.com/mratsim/constantine/wiki/Constant-time-ar... . Then the library defines its own types SecretBool and SecretWord throughough library that cannot be mixed with regular…
  4. …down people who actually do this is a crypto lib and the authors repo obv has a ton of hardwork https://github.com/mratsim/constantine
  5. Percival cache attacks on Hyperthreading. I go over some examples here: https://github.com/mratsim/constantine/issues/358#issuecomme...
  6. …compilers and even non-cryptographic side-channel attacks to uncover someone's Twitter identity: - https://github.com/mratsim/constantine/wiki/Constant-time-ar...
  7. …It is possible to create a compiler or an assembler running fully in Nim macros as well: - https://github.com/mratsim/constantine/blob/master/constanti... (all that file runs at compile-time) You can also implement…
    comment by mratsim · 2023-12-04 · in D Programming Language
  8. …them to construct Pippenger algorithm. But applied to matrices instead of group elements. See: https://github.com/mratsim/constantine/issues/37
    comment by mratsim · 2023-07-08 · in Matrix multiplication using only addition
  9. I didn't realize you can mix Nim an Assembler like this: https://github.com/mratsim/constantine/blob/1cb6c3d/constant...
    comment by WithinReason · 2023-03-01 · in Why Use Nim over C#?
  10. …reals. I've collected a lot of extension fields references while working on my own implementation: https://github.com/mratsim/constantine/tree/master/constanti... The best likely being - Arithmetic of Finite Fields Chapter 5 of Guide to…
  11. Unfortunate name collision with my constant-time pairing-based cryptography library :/. https://github.com/mratsim/constantine
  12. …library with hex conversion to big integer and modular arithmetic running at compile-time in D? - https://github.com/mratsim/constantine/blob/master/constanti... Can you generate a state machine that lowers down to optimized computed gotos…
    comment by mratsim · 2020-07-02 · in Ray Tracing in Nim
  13. …as C, Nim is always as fast as C. [1]: https://github.com/unicredit/emmy#algebraic-structures [2]: https://github.com/mratsim/constantine/blob/0400187f/constan... [3]: https://github.com/mratsim/constantine/blob/0400187f/constan...
    comment by mratsim · 2020-06-22 · in NimConf 2020 Videos
  14. …you have to take an after the fact verification approach today unless you dropdown to assembly (see https://github.com/mratsim/constantine/wiki/Constant-time-ar... on a couple of constant-time verifiers available)
  15. …an in-depth look on constant-time and the security implications of not being constant-time here: https://github.com/mratsim/constantine/wiki/Constant-time-ar...
  16. …at compile-time. (example in my library where I basically add to implement the same machinery: https://github.com/mratsim/constantine/blob/ff9dec48/constan... )