jasmin-lang/jasmin

View on GitHub ↗ ★ 391 Rocq Prover

Language for high-assurance and high-speed cryptography

6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2023-03-07 · latest 2026-10-09

Mentions per year 6 mentions · busiest year 2025 (2)

20082026

All Stories Comments Newest Top Oldest

▲ 1
Jasmin: A language for high-assurance and high-speed cryptography
story by fanf2 · 2026-10-09 · 0 comments
…had an effects system that a Jasmin MIR transform (ie like SPIRV is for shaders) would be useful? https://github.com/jasmin-lang/jasmin
comment by WhatIsDukkha · 2026-05-02 · in Dav2d
…Purpose language focused on emitting guaranteed constant time machine code for an algorithm. https://github.com/jasmin-lang/jasmin
comment by wahern · 2025-07-16 · in The FIPS 140-3 Go Cryptographic Module
…component to prove some function is equivalent to its reference , is side-channel free, etc. [1] https://github.com/jasmin-lang/jasmin/wiki
comment by pbsd · 2025-02-17 · in How do modern compilers choose which variables to put in registers?
…be free of side channels, memory safe, and protected against common speculative execution attacks: https://github.com/jasmin-lang/jasmin I wrote AEGIS implementations in it: https://github.com/jedisct1/aegis-jasmin and it was a really…
comment by jedisct1 · 2024-10-23 · in Breaking Bad: How Compilers Break Constant-Time~Implementations
…(Bedrock2) * https://github.com/hacl-star/hacl-star (F* and ValeCrypt) * https://github.com/jasmin-lang/jasmin * https://vst.cs.princeton.edu/
comment by rurban · 2023-03-07 · in A Vulnerability in Implementations of SHA-3, Shake, EdDSA