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;