4 ms·
Working on a proof of a modular exponentiation algorithm in Lean with a focus on performance. Hoping to be able to extract a low-level ASM or C implementation f
by agentultra 9y ago
Working on a proof of a modular exponentiation algorithm in Lean with a focus on performance. Hoping to be able to extract a low-level ASM or C implementation from the proof.
- aneutron 9y agoAny chance you'd have a link to a repository where you publish your work ?
- agentultra 9y agoI'm not working alone on it. Publishing my work at https://github.com/agentultra/lean-modexp https://github.com/agentultra/lean-modexp