saymrwulf/anza-cryptography-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/anza-cryptography-source.git synced 2026-09-04 20:24:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Patched source for Aeneas/Charon formal verification transpilation
10 commits 11 branches 0 tags 733 KiB
Rust 99.4%
Shell 0.5%
Find a file
zz-sol 0f7379cc05
[feat] ed25519-pokos: Proof of Knowledge of Seed (POKOS) for Ed25519 (#10) 
* init pokos

* fix soundness bug

* update doc

* fix

* simplification

* refactor

* add docs

* clean up

* ci

* Update experimental/ed25519-pokos/readme.md

Co-authored-by: Sam Kim <skim13@cs.stanford.edu>

---------

Co-authored-by: Sam Kim <skim13@cs.stanford.edu>
2026-04-08 10:24:32 -04:00
.github/workflows Skeleton for cryptography repo (#1) 2026-03-07 15:52:28 -05:00
curve25519 [feat] impl legacy dalek verification method for ed25519 (#8) 2026-03-31 07:46:24 -04:00
experimental/ed25519-pokos [feat] ed25519-pokos: Proof of Knowledge of Seed (POKOS) for Ed25519 (#10) 2026-04-08 10:24:32 -04:00
syscall move all curve25519 related crates into curve25519 directory (#5) 2026-03-24 07:42:07 -04: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 [feat] ed25519-pokos: Proof of Knowledge of Seed (POKOS) for Ed25519 (#10) 2026-04-08 10:24:32 -04:00
Cargo.toml [feat] ed25519-pokos: Proof of Knowledge of Seed (POKOS) for Ed25519 (#10) 2026-04-08 10:24:32 -04:00