Encrypted AXPY
L4 · Application Components1 specificationThe kernel leaves things open. A specification closes them — one signature, one notion of a correct answer — and only then can something be implemented against it, measured, or compared. Two specifications of this kernel differ in what they say, not in when they were written.
SPECIFICATIONWHAT IT FIXESPOINTSIMPLEMENTATIONSBENCHMARK
secret-vectors@1.0.0PUBLISHEDBENCHMARKED
Secret vectors, public scalarSecret vectors, public scalar
3 pointsN472, N6235, N8
2 implementations2 measured
READYgenerator and oracle accepted
VERSIONS ACROSS ALL SPECIFICATIONSA revision never rewrites past executions. Results stay attached to the version they were measured under.
secret-vectors@1.0.0Secret vectors, public scalar
8 d