From a0d94c680b81da7d34b00f732450bec073eb001d Mon Sep 17 00:00:00 2001 From: Aaron Kaiser Date: Mon, 22 Apr 2024 13:27:27 +0200 Subject: [PATCH] Remove requires --- src/agent.jazz | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/src/agent.jazz b/src/agent.jazz index cd8a439..4667b2f 100644 --- a/src/agent.jazz +++ b/src/agent.jazz @@ -1,19 +1,5 @@ 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;