cryspen/libcrux issues and pull requests

#554 - Basic fuzzing for C extraction of ML-KEM768

Pull Request - State: closed - Opened by djmdjm about 1 month ago - 3 comments

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#553 - Bump hax-lib-macros from `096f0eb` to `6d493af`

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#552 - removed a few modules from ADMIT

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#552 - removed a few modules from ADMIT

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#552 - removed a few modules from ADMIT

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#552 - removed a few modules from ADMIT

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago - 2 comments

#552 - removed a few modules from ADMIT

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#552 - removed a few modules from ADMIT

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#551 - Proofs of portable serialization

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#551 - Proofs of portable serialization

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#551 - Proofs of portable serialization

Pull Request - State: open - Opened by karthikbhargavan about 1 month ago

#550 - Add lemmas for Portable serialize/deserialize functions

Pull Request - State: closed - Opened by mamonet about 1 month ago

#550 - Add lemmas for Portable serialize/deserialize functions

Pull Request - State: closed - Opened by mamonet about 1 month ago

#550 - Add lemmas for Portable serialize/deserialize functions

Pull Request - State: closed - Opened by mamonet about 1 month ago

#550 - Add lemmas for Portable serialize/deserialize functions

Pull Request - State: closed - Opened by mamonet about 1 month ago

#550 - Add lemmas for Portable serialize/deserialize functions

Pull Request - State: closed - Opened by mamonet about 1 month ago

#549 - Tactics for serialize

Pull Request - State: closed - Opened by W95Psp about 1 month ago

#549 - Tactics for serialize

Pull Request - State: closed - Opened by W95Psp about 1 month ago

#549 - Tactics for serialize

Pull Request - State: closed - Opened by W95Psp about 1 month ago

#548 - Arithmetic proofs

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#548 - Arithmetic proofs

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#548 - Arithmetic proofs

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#548 - Arithmetic proofs

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#547 - Refresh C

Pull Request - State: open - Opened by protz about 1 month ago
Labels: blocked

#547 - Refresh C

Pull Request - State: open - Opened by protz about 1 month ago
Labels: blocked

#547 - Refresh C

Pull Request - State: open - Opened by protz about 1 month ago
Labels: blocked

#547 - Refresh C

Pull Request - State: open - Opened by protz about 1 month ago
Labels: blocked

#547 - Refresh C

Pull Request - State: closed - Opened by protz about 1 month ago

#547 - Refresh C

Pull Request - State: open - Opened by protz about 1 month ago
Labels: blocked

#546 - Add randomised APIs to ml-kem

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago - 4 comments

#546 - Add randomised APIs to ml-kem

Pull Request - State: open - Opened by franziskuskiefer about 1 month ago - 4 comments

#545 - Bump cc from 1.1.13 to 1.1.15

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#545 - Bump cc from 1.1.13 to 1.1.15

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#545 - Bump cc from 1.1.13 to 1.1.15

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#545 - Bump cc from 1.1.13 to 1.1.15

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#545 - Bump cc from 1.1.13 to 1.1.15

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, rust

#545 - Bump cc from 1.1.13 to 1.1.15

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

#544 - Cleanup merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#544 - Enable benchmarks on merge queue

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: ci

#543 - Make avx2 serialize.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#543 - Make avx2 serialize.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#543 - Make avx2 serialize.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#543 - Make avx2 serialize.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#543 - Make avx2 serialize.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#543 - Make avx2 serialize.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#542 - Update README.md

Pull Request - State: closed - Opened by jiep about 1 month ago

#541 - Restoring verification for ind-cca

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago - 1 comment

#541 - Restoring verification for ind-cca

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago - 1 comment

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#540 - ml-kem dk validation

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#539 - Make avx2 sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#539 - Make avx2 sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#539 - Make avx2 sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#539 - Make avx2 sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#539 - Make avx2 sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#539 - Make avx2 sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet about 1 month ago

#538 - Vector spec

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#538 - Vector spec

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#538 - Vector spec

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#538 - Vector spec

Pull Request - State: closed - Opened by karthikbhargavan about 1 month ago

#537 - [Meta] Integrate hacl-rs

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: meta

#537 - [Meta] Integrate hacl-rs

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: meta

#537 - [Meta] Integrate hacl-rs

Issue - State: open - Opened by franziskuskiefer about 1 month ago
Labels: meta

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#536 - [ML-KEM] Add private key validation

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#535 - [MLKEM] Proofs for avx2 serialize

Issue - State: open - Opened by W95Psp about 1 month ago - 1 comment

#535 - [MLKEM] Proofs for avx2 serialize

Issue - State: open - Opened by W95Psp about 1 month ago - 1 comment

#535 - [MLKEM] Proofs for avx2 serialize

Issue - State: closed - Opened by W95Psp about 1 month ago - 6 comments

#534 - Bump bindgen from 0.69.4 to 0.70.1

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, rust

GitHub / cryspen/libcrux issues and pull requests