Patched source for Aeneas/Charon formal verification transpilation

dependabot[bot] ea533ff6d4 Bump p3-matrix from 0.4.3 to 0.6.1 ... Bumps [p3-matrix](https://github.com/Plonky3/Plonky3) from 0.4.3 to 0.6.1. - [Release notes](https://github.com/Plonky3/Plonky3/releases) - [Changelog](https://github.com/Plonky3/Plonky3/blob/main/CHANGELOG.md) - [Commits](https://github.com/Plonky3/Plonky3/compare/p3-matrix-v0.4.3...p3-matrix-v0.6.1) --- updated-dependencies: - dependency-name: p3-matrix dependency-version: 0.6.1 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com>		2026-06-30 15:46:11 +00:00
.github	chore: remove upstream CI workflows (not our CI infrastructure)	2026-06-30 17:44:29 +02:00
curve25519	patch: remove ConditionallyNegatable for Aeneas/Charon transpilation	2026-06-30 17:30:34 +02:00
experimental/ed25519-pokos	Bump p3-matrix from 0.4.3 to 0.6.1	2026-06-30 15:46:11 +00:00
scripts	[chore] ci for crate release (#7)	2026-04-15 08:44:33 -04:00
secp256r1	impl secp256r1 (#45)	2026-06-17 09:45:41 -04:00
syscall	[solana-bn254-syscall] Add solana-bn254-syscall crate (#13)	2026-05-19 08:56:06 +09:00
.gitattributes	Skeleton for cryptography repo (#1)	2026-03-07 15:52:28 -05:00
.gitignore	Skeleton for cryptography repo (#1)	2026-03-07 15:52:28 -05:00
Cargo.lock	Bump p3-matrix from 0.4.3 to 0.6.1	2026-06-30 15:46:11 +00:00
Cargo.toml	impl secp256r1 (#45)	2026-06-17 09:45:41 -04:00