saymrwulf/anza-cryptography-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/anza-cryptography-source.git synced 2026-09-06 20:41:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
anza-cryptography-source/curve25519/solana-ed25519/src
History
mrwulf 5f8e70e636 Aeneas-compat: decompress step_2 negate-then-conditional-assign 
Same documented rewrite as FieldElement::sqrt_ratio_i: semantically
identical and still constant-time, but avoids subtle's
ConditionallyNegatable blanket impl, which the verification toolchain
cannot translate. Unblocks extracting decompress for the phase-2 full
point-level lift.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-06 01:41:56 +02:00
..
backend Aeneas-compat: make vartime_double_base::mul extraction-clean 2026-07-04 11:10:33 +02:00
ed_sigs Aeneas-compat: verified-verification entry points + serial-pin cfg 2026-07-04 23:00:06 +02: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 Aeneas-compat: verified-verification entry points + serial-pin cfg 2026-07-04 23:00:06 +02: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 Aeneas-compat: verified-verification entry points + serial-pin cfg 2026-07-04 23:00:06 +02:00
edwards.rs Aeneas-compat: decompress step_2 negate-then-conditional-assign 2026-07-06 01:41:56 +02: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 Aeneas-compat: verified-verification entry points + serial-pin cfg 2026-07-04 23:00:06 +02: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