anza-cryptography-source/curve25519/solana-ed25519/src
mrwulf e5f4598766 patch: remove ConditionallyNegatable for Aeneas/Charon transpilation
Upstream: anza-xyz/cryptography
Required for: formal verification via Aeneas bf13c42e + Charon 9dd7f23c
2026-06-30 17:30:34 +02:00
..
backend ed25519: add 128-bit NAF path (#27) 2026-06-24 16:47:31 +09:00
ed_sigs better error handling for batch verify (#57) 2026-06-22 09:47:19 -04:00
edwards refactor and merge curve and ed crates (#6) 2026-03-26 08:09:10 -04:00
lizard ci: check each feature individually (#18) 2026-05-20 10:23:03 +08:00
ristretto refactor and merge curve and ed crates (#6) 2026-03-26 08:09:10 -04:00
scalar [ed25519] improve docs (#47) 2026-06-11 22:10:13 -04:00
backend.rs fix 128bits scalar precondition (#44) 2026-06-16 08:59:35 -04:00
constants.rs refactor and merge curve and ed crates (#6) 2026-03-26 08:09:10 -04:00
diagnostics.rs refactor and merge curve and ed crates (#6) 2026-03-26 08:09:10 -04:00
ed_sigs.rs [ed25519] improve signing key life cycle (#51) 2026-06-18 09:25:12 -04:00
edwards.rs [ed25519] improve rng bounds for random function (#54) 2026-06-18 07:32:53 -04:00
field.rs patch: remove ConditionallyNegatable for Aeneas/Charon transpilation 2026-06-30 17:30:34 +02:00
lib.rs [ed25519] downgrade rand_core (#21) 2026-05-18 21:50:26 -04:00
lizard.rs refactor and merge curve and ed crates (#6) 2026-03-26 08:09:10 -04:00
macros.rs refactor and merge curve and ed crates (#6) 2026-03-26 08:09:10 -04:00
montgomery.rs ci: check each feature individually (#18) 2026-05-20 10:23:03 +08:00
ristretto.rs ci: check each feature individually (#18) 2026-05-20 10:23:03 +08:00
scalar.rs ed25519: add 128-bit NAF path (#27) 2026-06-24 16:47:31 +09:00
short_weierstrass.rs [ed25519] implement add for SW form (#55) 2026-06-18 07:32:25 -04:00
traits.rs [ed25519] improve docs (#47) 2026-06-11 22:10:13 -04:00
window.rs simply lookup table constructor (#56) 2026-06-22 09:47:37 -04:00