Encrypted Logistic
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
f64@1.0.0PUBLISHEDBENCHMARKED
f64 on [−25, 25], scored by closenessf64 on [−25, 25], scored by closeness
2 pointsN1024, N2048
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.
f64@1.0.0f64 on [−25, 25], scored by closeness
7 d