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
20082026
-
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] -
▲ 55
Constantine: Nim lang high-performance, zero-dependency cryptography stackstory by fork-bomber · 2024-07-21 · 18 comments
-
…per protocol. The finite field backends and the elliptic curves supported are all generic as well: https://github.com/mratsim/constantine/blob/master/constanti...
comment by mratsim · 2024-07-06 · in Constantine: modular, high-performance, zero-dependency cryptography stack -
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…
comment by mratsim · 2024-07-06 · in Constantine: modular, high-performance, zero-dependency cryptography stack -
…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
comment by narodnik · 2024-07-06 · in Constantine: modular, high-performance, zero-dependency cryptography stack -
Percival cache attacks on Hyperthreading. I go over some examples here: https://github.com/mratsim/constantine/issues/358#issuecomme...
comment by mratsim · 2024-02-22 · in A beginner's guide to constant-time cryptography (2017) -
…compilers and even non-cryptographic side-channel attacks to uncover someone's Twitter identity: - https://github.com/mratsim/constantine/wiki/Constant-time-ar...
comment by mratsim · 2024-02-22 · in A beginner's guide to constant-time cryptography (2017) -
…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 -
▲ 4
Fast constant-time pairing or elliptic curve based cryptography (Nim/C)story by elcritch · 2023-08-23 · 0 comments
-
…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 -
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#? -
…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…
comment by mratsim · 2021-05-28 · in Elliptic Curve Cryptography Explained (2019) -
Unfortunate name collision with my constant-time pairing-based cryptography library :/. https://github.com/mratsim/constantine
comment by mratsim · 2021-05-08 · in Constantine: Automatic side-channel resistance using data flow linearization [pdf] -
…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 -
…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 -
…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)
comment by mratsim · 2020-04-22 · in The new Clang _ExtInt feature provides exact bitwidth integer types -
…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...
comment by mratsim · 2020-04-22 · in The new Clang _ExtInt feature provides exact bitwidth integer types -
…at compile-time. (example in my library where I basically add to implement the same machinery: https://github.com/mratsim/constantine/blob/ff9dec48/constan... )
comment by mratsim · 2020-04-22 · in The new Clang _ExtInt feature provides exact bitwidth integer types