rixxc/x25519_agent
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add imports

Browse Source
This commit is contained in:
Aaron Kaiser
2024-04-22 11:20:28 +02:00
parent 52df968d73
commit ff639fdd78
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/agent.jazz
View File

@@ -1,5 +1,19 @@
from Jade require "crypto_scalarmult/curve25519/amd64/mulx/scalarmult.jazz"
from Jade require "crypto_scalarmult/curve25519/amd64/common/bit.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/decode_scalar.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/64/decode_u4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/64/init_points4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/64/add4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/64/sub4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/64/cswap4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/common/64/tobytes4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/mulx/mul4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/mulx/sqr4.jinc"
from Jade require "crypto_scalarmult/curve25519/amd64/mulx/invert4.jinc"
inline fn extract_ipc_id(reg u64 sync_mem) -> reg u64 {
reg u64 id;