issues
search
pq-code-package
/
mlkem-c-aarch64
ML-KEM implementation optimized for aarch64
https://pq-code-package.github.io/mlkem-c-aarch64/dev/bench
Apache License 2.0
9
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix boolean vs. string args in github actions
#134
hanno-becker
closed
2 weeks ago
0
Add scalar AArch64 Keccak-f1600 ASM
#133
hanno-becker
closed
2 weeks ago
0
Develop X18-free scalar AArch64-Keccak leveraging lazy rotation
#132
hanno-becker
closed
2 weeks ago
0
Fix name propagation in manually triggered CI workflow
#131
hanno-becker
closed
2 weeks ago
0
X86 64 gcc
#130
potsrevennil
closed
2 weeks ago
0
update DeterminateSystems to latest version
#129
potsrevennil
closed
2 weeks ago
0
x86 64 gcc
#128
potsrevennil
closed
2 weeks ago
0
Add native x86_64 test to CI
#127
hanno-becker
closed
2 weeks ago
1
Disambiguate opt vs non-opt in benchmarking stats
#126
hanno-becker
closed
2 weeks ago
0
Run opt/non-opt in CI
#125
potsrevennil
closed
2 weeks ago
0
Make AMI ID dropdown
#124
potsrevennil
closed
2 weeks ago
0
CI fixes
#123
hanno-becker
closed
3 weeks ago
0
Hoist CI components into reusable actions and workflows
#122
hanno-becker
closed
3 weeks ago
0
Allow CPROVER_loop_entry() inside a CPROVER_assert()
#121
rod-chapman
closed
3 weeks ago
1
Add cpucap.h header and detect AArch64 systems (duplicate)
#120
hanno-becker
closed
3 weeks ago
0
dummy commit
#119
hanno-becker
closed
3 weeks ago
0
Hoist CI components into reusable actions and workflows
#118
hanno-becker
closed
3 weeks ago
0
Re-enable CBMC on self-hosted runner
#117
hanno-becker
closed
1 week ago
5
Fix comments on poly_tobytes() and poly_frombytes()
#116
rod-chapman
closed
3 weeks ago
0
Fix variable detection of recursive make
#115
potsrevennil
closed
3 weeks ago
4
The `--cflags` parameter in the `tests` script does not work
#114
hanno-becker
closed
3 weeks ago
0
Add cpucap.h header and detect AArch64 systems
#113
hanno-becker
closed
3 weeks ago
0
Update CBMC to version 6.2.0
#112
rod-chapman
closed
3 weeks ago
0
Support native x86_64 build & test
#111
hanno-becker
closed
1 week ago
1
Hoist benchmarking steps into reusable Github action
#110
hanno-becker
closed
3 weeks ago
0
Basic ntt
#109
hanno-becker
closed
2 weeks ago
1
Clear nix-installer cache prior to EC2 benchmarks
#108
hanno-becker
closed
3 weeks ago
0
Update configure-aws-credentials to latest
#107
ryjones
closed
3 weeks ago
0
draft: update ec2 bench workflow to v4 of configure-aws-credentials
#106
hanno-becker
closed
3 weeks ago
0
update aws credential to v4
#105
potsrevennil
closed
3 weeks ago
0
Test pr
#104
potsrevennil
closed
3 weeks ago
0
[DO NOT MERGE] Test pr
#103
hanno-becker
closed
3 weeks ago
0
Refactor build system (duplicated)
#102
potsrevennil
closed
3 weeks ago
0
Push EC2 benchmark results to GH pages
#101
hanno-becker
closed
3 weeks ago
0
Refactor Build System for Easier Extensibility and Future Optimizations
#100
potsrevennil
closed
3 weeks ago
1
Add workflows for benchmarking on EC2
#99
hanno-becker
closed
4 weeks ago
0
Add basic ntt
#98
potsrevennil
closed
3 weeks ago
5
Check against against ACVP testvectors
#97
mkannwischer
opened
1 month ago
0
Update to FIPS203
#96
mkannwischer
closed
2 weeks ago
4
Update ML-KEM to be compliant with FIPS203
#95
mkannwischer
closed
2 weeks ago
0
astyle lint is breaking mlkem/poly.c on branch only
#94
rod-chapman
closed
3 weeks ago
1
Fix CBMC build on Linux and run CBMC in CI
#93
mkannwischer
closed
1 month ago
4
Update to cbmc-viewer version 3.9
#92
rod-chapman
closed
1 month ago
3
Add proof of poly_compress()
#91
rod-chapman
closed
3 weeks ago
5
Update CBMC to v6.1.1
#90
hanno-becker
closed
2 months ago
1
Refactor nix configuration on ci and the aarch64 gcc dependency on x86_64 machines
#89
potsrevennil
closed
2 months ago
1
Enable share memory in Keccak X4 implementation
#88
cothan
opened
2 months ago
0
Add basic NTTs
#87
hanno-becker
closed
2 weeks ago
5
Benchmarking on Cortex-A76 (Raspberry Pi 5)
#86
mkannwischer
closed
3 months ago
1
Add z3_4_12 to standard NIX config for all platforms.
#85
rod-chapman
closed
3 months ago
2
Previous
Next