Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / cryspen/libcrux issues and pull requests

#271 - Faster Rust SHA3 Implementations

Issue - State: closed - Opened by karthikbhargavan 6 months ago - 2 comments

#269 - ML-KEM SIMD F* Extraction

Issue - State: closed - Opened by franziskuskiefer 6 months ago - 4 comments

#268 - ML-KEM SIMD C Extraction

Issue - State: closed - Opened by franziskuskiefer 6 months ago - 3 comments

#267 - auto-detect cpu features for sha3 crate

Pull Request - State: closed - Opened by franziskuskiefer 6 months ago

#266 - libjade avx2 bench

Pull Request - State: closed - Opened by franziskuskiefer 6 months ago

#265 - more kyber avx2

Pull Request - State: closed - Opened by franziskuskiefer 6 months ago

#263 - Kyber AVX2 implementations of serialization and montgomery reduction

Pull Request - State: closed - Opened by xvzcf 6 months ago

#262 - Fix shebang options

Pull Request - State: closed - Opened by protz 7 months ago

#261 - mlkem crate feature detection & ci

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#260 - Implementations of some AVX2 functions on 16-bit representatives

Pull Request - State: closed - Opened by xvzcf 7 months ago

#259 - ml-kem aarch64 move all unsafe code into neon mod

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#258 - SIMD rejection sampling

Pull Request - State: closed - Opened by karthikbhargavan 7 months ago

#257 - Libcrux optimize decap

Pull Request - State: closed - Opened by protz 7 months ago - 2 comments

#256 - Use 16 bit representatives for Kyber SIMD instead of 32 bit representatives

Pull Request - State: closed - Opened by xvzcf 7 months ago - 2 comments

#255 - Vectorise sampling for ml-kem

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#254 - Restructuring ML-KEM to separate out IND-CCA code

Pull Request - State: closed - Opened by karthikbhargavan 7 months ago

#253 - allow disabling simd in libcrux

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#252 - ml-kem: Move unsafe code to separate intrinsics module

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#251 - 16-bit version of ml-kem

Pull Request - State: closed - Opened by karthikbhargavan 7 months ago - 1 comment

#250 - 16-bit version of ml-kem

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#249 - AVX2 Implementations of serialize_4, serialize_5, serialize_12

Pull Request - State: closed - Opened by xvzcf 7 months ago

#248 - Separate simd crates for ml-kem vectors

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#247 - more examples

Pull Request - State: closed - Opened by karthikbhargavan 7 months ago

#246 - Simd128 implementation for Aarch64

Pull Request - State: closed - Opened by karthikbhargavan 7 months ago

#245 - Workarounds for Charon issues in portable ml-kem

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#243 - simd ml kem generic

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#241 - simd ml kem architecture (simd256/simd128 module)

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#240 - Drop simd256 cfg from SHA3 crate

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#239 - ml-kem cli

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#238 - updated extraction with latest hax and fixed patches

Pull Request - State: closed - Opened by karthikbhargavan 7 months ago

#237 - F* Extraction is broken on main

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#236 - Implement simd256 ml-kem

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment
Labels: meta

#235 - Runtime platform detection for ml-kem

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#234 - Generic ml-kem implementation

Issue - State: closed - Opened by franziskuskiefer 7 months ago - 1 comment

#233 - Refactored ML-KEM SIMD scaffolding

Pull Request - State: closed - Opened by xvzcf 7 months ago - 2 comments

#232 - cleanup ml kem dev

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#231 - abstract polynomial setup

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#230 - ml kem crate and simd setup

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#229 - Update dev to main

Pull Request - State: closed - Opened by franziskuskiefer 7 months ago

#228 - Set up structure for parallelising serialisation

Issue - State: closed - Opened by franziskuskiefer 8 months ago - 1 comment

#227 - Set up structure for parallelising Lattice arithmetic

Issue - State: closed - Opened by franziskuskiefer 8 months ago - 1 comment

#226 - Update ml-kem extraction for NSS

Pull Request - State: closed - Opened by franziskuskiefer 8 months ago - 1 comment

#225 - Compilation to wasm

Issue - State: closed - Opened by bshvass 8 months ago - 9 comments
Labels: enhancement, stale

#224 - Update public key validation

Pull Request - State: closed - Opened by franziskuskiefer 8 months ago

#223 - ML-KEM NSS Update

Issue - State: closed - Opened by franziskuskiefer 8 months ago - 1 comment

#222 - [Meta] ML-KEM 768 AVX2 Implementation

Issue - State: closed - Opened by franziskuskiefer 8 months ago
Labels: meta

#221 - Verify ML-KEM

Issue - State: closed - Opened by franziskuskiefer 8 months ago - 2 comments
Labels: meta, stale

#220 - Use Init-Absorb-Squeeze* API in ML-KEM

Pull Request - State: closed - Opened by franziskuskiefer 8 months ago

#219 - X25519 benchmarks

Pull Request - State: closed - Opened by franziskuskiefer 8 months ago

#218 - chore(hax/kyber): extract & patches

Pull Request - State: closed - Opened by W95Psp 8 months ago

#217 - Write a readable guide to the Kyber proofs

Issue - State: closed - Opened by karthikbhargavan 8 months ago - 1 comment

#216 - Add X-Wing combiner

Pull Request - State: closed - Opened by raphaelrobert 8 months ago

#214 - chore(hax/kyber): regenerate F* & patches

Pull Request - State: closed - Opened by W95Psp 9 months ago

#213 - fix(f*/kyber): update for https://github.com/hacspec/hax/pull/546

Pull Request - State: closed - Opened by W95Psp 9 months ago - 2 comments

#212 - fix(kyber/F*): flaky proof

Pull Request - State: closed - Opened by W95Psp 9 months ago

#211 - Adapt Kyber to use Init-Absorb-Squeeze* API

Pull Request - State: closed - Opened by karthikbhargavan 9 months ago - 2 comments

#210 - feat(ci/hax): simplify using `hacspec/hax-actions`

Pull Request - State: closed - Opened by W95Psp 9 months ago - 2 comments
Labels: waiting-on-author

#209 - Update ML-KEM C extraction

Issue - State: open - Opened by franziskuskiefer 9 months ago

#208 - Updated ml-kem C extraction

Pull Request - State: open - Opened by franziskuskiefer 9 months ago

#207 - Kyber F* extraction: move `BitVecEq` to hax lib

Issue - State: closed - Opened by W95Psp 9 months ago - 3 comments
Labels: stale

#206 - fix(kyber/F*): spec, force subtype on bit vectors

Pull Request - State: closed - Opened by W95Psp 9 months ago - 1 comment

#205 - impl Send for Drbg

Pull Request - State: closed - Opened by keks 9 months ago

#204 - Decide whether to impl Send for Drbg

Issue - State: closed - Opened by keks 9 months ago - 1 comment

#203 - Remove panics from Kyber C code

Issue - State: closed - Opened by karthikbhargavan 9 months ago - 1 comment

#202 - Kyber: add proofs for `serialize_uncompressed_ring_element`

Pull Request - State: closed - Opened by W95Psp 9 months ago - 1 comment

#201 - Fix hax cfg issues

Pull Request - State: closed - Opened by W95Psp 10 months ago

#200 - Add ML-KEM C extraction to CI

Issue - State: closed - Opened by franziskuskiefer 10 months ago - 3 comments

#199 - update F*

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago

#198 - Merge some changes from extraction to extraction-edited

Pull Request - State: closed - Opened by karthikbhargavan 10 months ago

#197 - Refactor AEAD errors

Pull Request - State: closed - Opened by keks 10 months ago - 2 comments
Labels: waiting-on-author, rust

#196 - Kyber: F*: diffs: enforce workflow

Issue - State: closed - Opened by W95Psp 10 months ago - 1 comment

#195 - Kyber: hax: fix extraction

Pull Request - State: closed - Opened by W95Psp 10 months ago

#193 - F*: kyber: add and use diffs for `proofs/fstar/extraction-*` folders

Pull Request - State: closed - Opened by W95Psp 10 months ago - 3 comments

#192 - [Meta] Kyber F* Proof Cleanup and CI

Issue - State: closed - Opened by karthikbhargavan 10 months ago - 2 comments
Labels: meta, stale

#191 - chore(deps): bump mymindstorm/setup-emsdk from 13 to 14

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, github_actions

#190 - Allow libcrux to be compiled for no_std (embedded) environments

Pull Request - State: closed - Opened by sivadeilra 10 months ago - 4 comments
Labels: waiting-on-author, stale

#189 - mlkem pk validation

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago - 1 comment

#188 - feat(kyber/fstar): add specs for serialization functions

Pull Request - State: closed - Opened by W95Psp 10 months ago

#187 - refactor(kyber/fstar): merge back Serialize PartA/B into one file

Pull Request - State: closed - Opened by W95Psp 10 months ago - 2 comments

#186 - ml-kem cleanup

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago

#185 - move hax-lib behind cfg(hax)

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago

#184 - Drop hax-lib dependency

Issue - State: closed - Opened by franziskuskiefer 10 months ago - 1 comment

#183 - Kyber documentation update

Pull Request - State: closed - Opened by xvzcf 10 months ago

#182 - Kyber: CI: reject when CI extraction diffs from checked-in extraction

Issue - State: closed - Opened by W95Psp 10 months ago - 1 comment

#181 - Update pqcrypto-kyber requirement from 0.7.6 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, rust

#180 - Adding a pairing function to Bls12-381

Issue - State: closed - Opened by jtcoolen 10 months ago - 4 comments
Labels: stale

#179 - Improve build

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago

#178 - fixup to-nss script

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago

#177 - Working around regressions in typeclass inference in F*

Pull Request - State: closed - Opened by karthikbhargavan 10 months ago - 3 comments

#176 - Bump gitpython from 3.1.40 to 3.1.41 in /git-hooks

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, python

#175 - Bump github.com/cloudflare/circl from 1.3.3 to 1.3.7 in /benchmarks/benches/circl

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, go

#173 - ML-KEM

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago

#172 - hacl build update

Pull Request - State: closed - Opened by franziskuskiefer 10 months ago