mirror of
https://github.com/saymrwulf/anza-cryptography-source.git
synced 2026-09-04 20:24:04 +00:00
Patched source for Aeneas/Charon formal verification transpilation
ed4a212bcb
* add `solana-bn254-syscall` crate * use `Validate::Yes` for `G1::deserialize_with_mode` * fix crate name * inherit dependencies from workspace * update edition to 2021 * remove unnecessary `is_on_curve` check * add `#[inline(always)]` * make `PodG1` and `PodG2` pub(crate) * remove unnecessary `is_on_curve` check * remove custom logic for legacy versions * `convert_endianness` -> `swap_endianness` * simplify `swap_endianness` * update function return types to arrays instead of vecs * copy over docs * update cargo lock * copy over unit tests for serialization * clean up docs for the syscall implementation functions * Apply suggestions from code review Co-authored-by: Stanislav Ladyzhenskiy <LStan@users.noreply.github.com> * Update syscall/bn254-syscall/src/multiplication.rs Co-authored-by: Stanislav Ladyzhenskiy <LStan@users.noreply.github.com> * cargo lock * remove `all-features` and `rustdoc-args` * Apply suggestions from code review Co-authored-by: Stanislav Ladyzhenskiy <LStan@users.noreply.github.com> * Update syscall/bn254-syscall/Cargo.toml Co-authored-by: Stanislav Ladyzhenskiy <LStan@users.noreply.github.com> * remove `include = ...` --------- Co-authored-by: Stanislav Ladyzhenskiy <LStan@users.noreply.github.com> |
||
|---|---|---|
| .github/workflows | ||
| curve25519 | ||
| experimental/ed25519-pokos | ||
| scripts | ||
| syscall | ||
| .gitattributes | ||
| .gitignore | ||
| Cargo.lock | ||
| Cargo.toml | ||