cryspen/libcrux issues and pull requests

#178 - fixup to-nss script

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

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

Pull Request - State: closed - Opened by karthikbhargavan 6 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] 6 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] 6 months ago
Labels: dependencies, go

#174 - Bump golang.org/x/crypto from 0.3.1-0.20221117191849-2c476679df9a to 0.17.0 in /benchmarks/benches/circl

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

#173 - ML-KEM

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

#172 - hacl build update

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

#171 - Secret Independence for Kyber

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

#170 - fixup hpke nist uncompressed

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

#169 - Secret independence for Kyber

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

#168 - CI: Kyber: re-enable F* verification on CI for `extraction-edited`

Issue - State: open - Opened by W95Psp 6 months ago

#167 - Kyber: F* extraction: drop stale impl. module

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

#166 - Libcrux.Kem.Kyber.Ntt.fst

Issue - State: open - Opened by karthikbhargavan 6 months ago

#165 - Libcrux.Kem.Kyber.Serialize.fst

Issue - State: open - Opened by karthikbhargavan 6 months ago

#164 - Libcrux.Kem.Kyber.Sampling.fst

Issue - State: open - Opened by karthikbhargavan 6 months ago

#163 - Libcrux.Kem.Kyber.Matrix.fst

Issue - State: open - Opened by karthikbhargavan 6 months ago

#162 - Kyber: F*: enable the `--interfaces` option for most modules

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

#161 - Kyber: add F* proofs

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

#160 - Kyber Blog Post

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

#159 - Refresh NSS Kyber Code

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

#158 - Check and remove redundant operations

Issue - State: open - Opened by karthikbhargavan 6 months ago

#157 - Expose the SHAKE128 Incremental API properly in crate::digest.

Issue - State: open - Opened by xvzcf 6 months ago

#156 - Expose the SHAKE-128 incremental API in libcrux and add 100,000 Kyber KAT tests using this API

Pull Request - State: open - Opened by xvzcf 6 months ago - 3 comments

#155 - Remove more divisions in compress and elsewhere.

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

#154 - added a benchmark without RNG

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

#153 - Kyber C extraction

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

#152 - Kyber rejection sampling part 2: Use SHAKEx4 (and possibly the squeeze API)

Issue - State: open - Opened by xvzcf 7 months ago

#152 - Kyber rejection sampling part 2: Use SHAKEx4 (and possibly the squeeze API)

Issue - State: open - Opened by xvzcf 7 months ago

#152 - Kyber rejection sampling part 2: Use SHAKEx4 (and possibly the squeeze API)

Issue - State: open - Opened by xvzcf 7 months ago

#152 - Kyber rejection sampling part 2: Use SHAKEx4 (and possibly the squeeze API)

Issue - State: open - Opened by xvzcf 7 months ago

#151 - Panic instead of returning an error in rejection sampling if 5 blocks of SHAKE aren't enough

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

#151 - Panic instead of returning an error in rejection sampling if 5 blocks of SHAKE aren't enough

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

#151 - Panic instead of returning an error in rejection sampling if 5 blocks of SHAKE aren't enough

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

#151 - Panic instead of returning an error in rejection sampling if 5 blocks of SHAKE aren't enough

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

#150 - Rejection sampling Part 1: Panic instead of returning an error

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

#150 - Rejection sampling Part 1: Panic instead of returning an error

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

#150 - Rejection sampling Part 1: Panic instead of returning an error

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

#150 - Rejection sampling Part 1: Panic instead of returning an error

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

#149 - Use hacl sha3 mb

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

#149 - Use hacl sha3 mb

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

#148 - Refactor kyber for proofs - part 1

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

#147 - C code for Kyber

Issue - State: open - Opened by karthikbhargavan 7 months ago - 1 comment

#147 - C code for Kyber

Issue - State: open - Opened by karthikbhargavan 7 months ago - 1 comment

#147 - C code for Kyber

Issue - State: open - Opened by karthikbhargavan 7 months ago - 1 comment

#146 - Add SHA3-mb to libcrux

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

#146 - Add SHA3-mb to libcrux

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