Nirapod

Popular repositories Loading

1. simenclave simenclave Public

   Real hardware Secure Enclave for the iOS, watchOS Simulator

   Swift 3

2. simble simble Public

   Real Bluetooth Low Energy for the iOS and watchOS Simulators.

   Swift 3

3. jasmin-crypto-vscode jasmin-crypto-vscode Public

   Community-maintained TextMate grammar and VS Code language support for Jasmin (.jazz).

   JavaScript

4. nirapod-slhdsa nirapod-slhdsa Public

   SLH-DSA (FIPS 205) in Jasmin for AArch64 and x86-64, with EasyCrypt proofs. Under development.

   eC

5. easycrypt-vscode easycrypt-vscode Public

   Community-maintained TextMate grammar and VS Code language support for EasyCrypt (.ec, .eca).

   eC

6. pasta-glv-proofs pasta-glv-proofs Public

   Machine-checked Lean 4 proof of the wNAF recoding and Straus ladder in pasta_curves' GLV scalar multiplication

   Lean