From ff639fdd7808486020785cc76bb1e476d8a79ad6 Mon Sep 17 00:00:00 2001 From: Aaron Kaiser Date: Mon, 22 Apr 2024 11:20:28 +0200 Subject: [PATCH] Add imports --- src/agent.jazz | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/agent.jazz b/src/agent.jazz index 4667b2f..cd8a439 100644 --- a/src/agent.jazz +++ b/src/agent.jazz @@ -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;