constantine
mbedTLS
constantine | mbedTLS | |
---|---|---|
14 | 9 | |
254 | 4,913 | |
- | 1.3% | |
8.4 | 10.0 | |
6 days ago | 7 days ago | |
Nim | C | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
constantine
-
A beginner's guide to constant-time cryptography (2017)
Percival cache attacks on Hyperthreading.
I go over some examples here: https://github.com/mratsim/constantine/issues/358#issuecomme...
-
D Programming Language
`when myCondition():` instead of `if myCondition:` is done at compile-time.
Alternatively you can use a `static:` code block to force compile time evaluation. Or tag a function {.compileTime.} or tag function inputs with `static` modifier.
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 Continuation-Passing-Style transformation at compile-time:
- Fast constant-time pairing or elliptic curve based cryptography (Nim/C)
-
Matrix Multiplication Using Only Addition
At a glance this sounds like a re-discovery of addition chains and using them to construct Pippenger algorithm. But applied to matrices instead of group elements.
See: https://github.com/mratsim/constantine/issues/37
-
Elliptic Curve Cryptography Explained
I usually explain extension fields as similar to complex numbers with regards to 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
- Constant-Time Big Numbers: An Introduction
-
just a question that has been lingering on my mind
Regarding your first question, you don't need to attack the hard-drive, for non constant-time crypto you can read power consumption or electromagnetic traces when the secret key is used to reconstruct it: - https://github.com/mratsim/constantine/wiki/Constant-time-arithmetics
-
Const [pdf]
Unfortunate name collision with my constant-time pairing-based cryptography library :/.
https://github.com/mratsim/constantine
-
DSL for Zero Knowledge Proofs
KZG for sure yes, I actually already started implementing them: https://github.com/mratsim/constantine/tree/c2d716b/research/kzg_poly_commit
-
How is Elliptic Curve Cryptography Encryption Fast?
I have a small write-up on various details of elliptic curve crypto implementation here: https://github.com/mratsim/constantine/tree/master/constantine/elliptic
mbedTLS
-
OpenWrt 23.05
It's work in progress: https://github.com/Mbed-TLS/mbedtls/blob/development/docs/ar...
Newer version have okay-ish support, I'd guess the next OpenWRT release will have it again.
-
How can I disable the close_notify message?
It's related to this Mbed-TLS issue
-
DIY Physical Backed Tokens (EIP-5791) with ESP32 and BLE
i've used the entropy generator from MbedTLS which uses multiple sources of randomness, and seeding it additionally with the chip's mac address and the free heap size at time of creation. it would take a lot to recreate all that "noise" consistently, but i'm open to suggestions on how to make it more secure
-
Help libraries won’t work on the IDE for esp32
However on the github page and assuming I found the right source - and this is a HUGE ASSUMPTION - there is a section on porting the library to other platforms.
-
redbean: a single-file actually portable web server with Lua, HTTPS and SQLite
Rebean is a single executable written in ANSI C that embeds Lua 5.4, MbedTLS and SQLite. The crazy thing about this is that it is a C binary that runs on six operating systems without any cross compiling thanks to leveraging Justine Tunney's cosmopolitan.
-
Install mbedTLS on Linux
it looks like the commands are all built under https://github.com/Mbed-TLS/mbedtls/tree/development/programs and the arch mbedtls package does some extra work to rename them and copy them into /usr/local/bin: https://github.com/archlinux/svntogit-community/blob/packages/mbedtls/trunk/PKGBUILD#L55
-
Elliptic Curve Cryptography Explained
If you want to see a real implemention of arbitrary sized integer math, mbedTLS is a great example:
https://github.com/ARMmbed/mbedtls/blob/development/library/...
All of the ECC code in that library relies on this code, which can be accelerated by dedicated hardware.
-
C Deep
mbed TLS - Another crypto implementation. Apache-2.0
-
WireGuard implementation for LwIP stack
Definitely, FreeRTOS + LwIP + Mbed TLS is a fairly common combo these days, and Mbed TLS has hardware acceleration where possible.
What are some alternatives?
blst - Multilingual BLS12-381 signature library
OpenSSL - TLS/SSL and crypto library
nim-stint - Stack-based arbitrary-precision integers - Fast and portable with natural syntax for resource-restricted devices.
wolfssl - The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!
secp256k1 - Optimized C library for EC operations on curve secp256k1
libsodium - A modern, portable, easy to use crypto library.
noir - Noir is a domain specific language for zero knowledge proofs
GnuTLS - GnuTLS
Practical-Cryptography-for-Developers-Book - Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA
LibTomCrypt - LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining modes, pseudo-random number generators, public key cryptography and a plethora of other routines.
ecc - elliptic-curve cryptography
LibreSSL - LibreSSL Portable itself. This includes the build scaffold and compatibility layer that builds portable LibreSSL from the OpenBSD source code. Pull requests or patches sent to [email protected] are welcome.