diff --git a/lab3/zad1/.ccls b/lab3/zad1/.ccls new file mode 100644 index 0000000..943676b --- /dev/null +++ b/lab3/zad1/.ccls @@ -0,0 +1,7 @@ +g++ +%cpp -std=c++20 +%hpp +-Iinclude +-Wall +-Wextra +-Wpedantic diff --git a/lab3/zad1/.gitignore b/lab3/zad1/.gitignore new file mode 100644 index 0000000..eadc128 --- /dev/null +++ b/lab3/zad1/.gitignore @@ -0,0 +1,2 @@ +target/ +.ccls-cache/ diff --git a/lab3/zad1/Makefile b/lab3/zad1/Makefile new file mode 100644 index 0000000..68f3d53 --- /dev/null +++ b/lab3/zad1/Makefile @@ -0,0 +1,31 @@ +CXX = g++ +CXXFLAGS = -std=c++20 -O3 -Wall -Wextra -Wpedantic +CXXFLAGS += -Iinclude +LDFLAGS = + +NAME = zad1 + +SRC = src +BIN = target + +_PROG = main.cpp +PROG = $(addprefix $(SRC)/, $(_PROG)) + +OBJ = $(_PROG:.cpp=.o) + +.PHONY: all clean + +all: dirs $(NAME) + +dirs: + mkdir -p $(BIN) + +$(NAME): $(OBJ) + $(CXX) $(addprefix $(BIN)/, $^) $(LDFLAGS) -o $(BIN)/$@ + +%.o: src/%.cpp + $(CXX) -c $< $(CXXFLAGS) -o $(BIN)/$@ + +clean: + rm -rf $(addprefix $(BIN)/, $(OBJ)) + rm -rf $(BIN)/$(NAME) diff --git a/lab3/zad1/include/DHSetup.hpp b/lab3/zad1/include/DHSetup.hpp new file mode 100644 index 0000000..2c08c54 --- /dev/null +++ b/lab3/zad1/include/DHSetup.hpp @@ -0,0 +1,72 @@ +#pragma once + +#include +#include +#include + +template +class DHSetup { + + T generator; + + std::vector sieve_of_eratosthenes(uint64_t n) { + std::vector is_prime(n + 1, true); + is_prime[0] = is_prime[1] = false; + for (size_t i = 2; i <= n; ++i) { + if (is_prime[i] && i * i <= n) { + for (size_t j = i * i; j <= n; j += i) { + is_prime[j] = false; + } + } + } + + std::vector primes; + for (size_t i = 0; i <= n; ++i) { + if (is_prime[i]) { + primes.push_back(i); + } + } + return primes; + } + + bool checkGenerator(T a) { + uint64_t p = a.characteristic() - 1; + for (uint64_t q : sieve_of_eratosthenes(std::sqrt(p))) { + if (p % q == 0 && a * (p / q) == 1) { + return false; + } + } + + return true; + } +public: + + DHSetup() { + std::random_device rand; + std::mt19937 gen(rand()); + std::uniform_int_distribution dist(1, this->generator.characteristic() - 1); + uint64_t num = dist(gen); + + do { + num = dist(gen); + } while (!checkGenerator(num)); + + this->generator = T(num); + } + + T getGenerator() { + return generator; + } + + T power(T a, uint64_t b) { + T res = a; + while (b > 0) { + if (b % 2 == 1) { + res *= a; + } + a *= a; + b /= 2; + } + return res; + } +}; diff --git a/lab3/zad1/include/GF.hpp b/lab3/zad1/include/GF.hpp new file mode 100644 index 0000000..f9d94d1 --- /dev/null +++ b/lab3/zad1/include/GF.hpp @@ -0,0 +1,149 @@ +#pragma once + +#include +#include +#include +#include + +template +class GF { + uint64_t _value; +public: + std::strong_ordering operator<=>(const GF &rhs) const = default; + + GF &operator=(const GF &value) = default; + + GF() + : _value(0u) {} + + GF(const uint64_t &value) + : _value(value % N) {} + + GF &operator=(const uint64_t &value) { + this->_value = value % N; + return *this; + } + + GF inverse() const { + int64_t t1 = 0; + int64_t t2 = 1; + int64_t r1 = N; + int64_t r2 = this->_value; + + while (r2 != 0) { + int64_t q = r1 / r2; + int64_t temp = t2; + t2 = t1 - q * t2; + t1 = temp; + temp = r2; + r2 = r1 - q * r2; + r1 = temp; + } + if (r1 > 1) { + throw std::invalid_argument("value isn't invertible"); + } + if (t1 < 0) { + t1 += N; + } + return t1; + } + + GF operator+(const GF &rhs) const { + return (this->_value + rhs._value) % N; + } + + GF operator+(const uint64_t &rhs) const { + return this->operator+(GF(rhs)); + } + + GF operator-(const GF &rhs) const { + if (this->_value < rhs._value) { + return N - (rhs._value - this->_value); + } + return (this->_value - rhs._value); + } + + GF operator-(const uint64_t &rhs) const { + return this->operator-(GF(rhs)); + } + + GF operator*(const GF &rhs) const { + return (this->_value * rhs._value) % N; + } + + GF operator*(const uint64_t &rhs) const { + return this->operator*(GF(rhs)); + } + + /* + * throws std::invalid_argument when dividing by 0 or value isn't inversible + */ + GF operator/(const GF &rhs) const { + if (rhs._value == 0) { + throw std::invalid_argument("division by 0 is illegal"); + } + + return *this * rhs.inverse(); + } + + GF operator/(const uint64_t &rhs) const { + return this->operator/(GF(rhs)); + } + + GF operator+=(const GF &rhs) { + *this = *this + rhs; + return *this; + } + + GF operator+=(const uint64_t &rhs) { + return this->operator+=(GF(rhs)); + } + + GF operator-=(const GF &rhs) { + *this = *this - rhs; + return *this; + } + + GF operator-=(const uint64_t &rhs) { + return this->operator-=(GF(rhs)); + } + + GF operator*=(const GF &rhs) { + *this = *this * rhs; + return *this; + } + + GF operator*=(const uint64_t &rhs) { + return this->operator*=(GF(rhs)); + } + + GF operator/=(const GF &rhs) { + *this = *this / rhs; + return *this; + } + + GF operator/=(const uint64_t &rhs) { + return this->operator/=(GF(rhs)); + } + + friend std::ostream &operator<<(std::ostream &stream, const GF &val) { + stream << "GF<" << N << ">(" << val._value << ")"; + return stream; + } + + friend std::istream &operator>>(std::istream &stream, GF &val) { + stream >> val._value; + val._value %= N; + return stream; + } + + /* + * returns the characteristic of this GF + */ + uint64_t characteristic() const { return N; } + + /* + * returns the value of this GF + */ + uint64_t value() const { return _value; } +}; diff --git a/lab3/zad1/include/User.hpp b/lab3/zad1/include/User.hpp new file mode 100644 index 0000000..4807e50 --- /dev/null +++ b/lab3/zad1/include/User.hpp @@ -0,0 +1,47 @@ +#pragma once + +#include + +#include +#include +#include + +template +class User { + DHSetup dh; + uint64_t secret; + + T key = T(0); + +public: + User(const DHSetup &dh) { + std::random_device rand; + std::mt19937 gen(rand()); + std::uniform_int_distribution<> dist(0); + this->secret = dist(gen); + + this->dh = dh; + } + + T getPublicKey() { + return this->dh.power(dh.getGenerator(), this->secret); + } + + void setKey(T a) { + this->key = this->dh.power(a, this->secret); + } + + T encrypt(T m) { + if (this->key == T(0)) { + throw std::logic_error("key must be set before encrypting"); + } + return m * this->key; + } + + T decrypt(T c) { + if (this->key == T(0)) { + throw std::logic_error("key must be set before decrypting"); + } + return c / this->key; + } +}; diff --git a/lab3/zad1/src/main.cpp b/lab3/zad1/src/main.cpp new file mode 100644 index 0000000..90b2b1e --- /dev/null +++ b/lab3/zad1/src/main.cpp @@ -0,0 +1,40 @@ +#include + +#include +#include +#include + +typedef GF<1234567891> Key; + +int main(void) { + + DHSetup dh; + + std::cout << "common characteristic: " << dh.getGenerator().characteristic() << "\n"; + std::cout << "common generator: " << dh.getGenerator() << "\n"; + + User alice(dh); + User bob(dh); + + Key publicAlice = alice.getPublicKey(); + std::cout << "Alice's public key: " << publicAlice << "\n"; + + bob.setKey(publicAlice); + + Key publicBob = bob.getPublicKey(); + std::cout << "Bob's public key: " << publicBob << "\n"; + + alice.setKey(publicBob); + + Key message = Key(2137); + + std::cout << "message: " << message << "\n"; + + Key encrypted = alice.encrypt(message); + std::cout << "encrypted message: " << encrypted << "\n"; + + Key decrypted = bob.decrypt(encrypted); + std::cout << "decrypted message: " << decrypted << "\n"; + + return 0; +} diff --git a/lab3/zad2/.gitattributes b/lab3/zad2/.gitattributes new file mode 100644 index 0000000..097f9f9 --- /dev/null +++ b/lab3/zad2/.gitattributes @@ -0,0 +1,9 @@ +# +# https://help.github.com/articles/dealing-with-line-endings/ +# +# Linux start script should use lf +/gradlew text eol=lf + +# These are Windows script files and should use crlf +*.bat text eol=crlf + diff --git a/lab3/zad2/.gitignore b/lab3/zad2/.gitignore new file mode 100644 index 0000000..1b6985c --- /dev/null +++ b/lab3/zad2/.gitignore @@ -0,0 +1,5 @@ +# Ignore Gradle project-specific cache directory +.gradle + +# Ignore Gradle build output directory +build diff --git a/lab3/zad2/.project b/lab3/zad2/.project new file mode 100644 index 0000000..646cc22 --- /dev/null +++ b/lab3/zad2/.project @@ -0,0 +1,28 @@ + + + zad2 + Project zad2 created by Buildship. + + + + + org.eclipse.buildship.core.gradleprojectbuilder + + + + + + org.eclipse.buildship.core.gradleprojectnature + + + + 1715337152377 + + 30 + + org.eclipse.core.resources.regexFilterMatcher + node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__ + + + + diff --git a/lab3/zad2/.settings/org.eclipse.buildship.core.prefs b/lab3/zad2/.settings/org.eclipse.buildship.core.prefs new file mode 100644 index 0000000..bcfe203 --- /dev/null +++ b/lab3/zad2/.settings/org.eclipse.buildship.core.prefs @@ -0,0 +1,13 @@ +arguments=--init-script /home/jacek/.eclipse/1623721753_linux_gtk_x86_64/configuration/org.eclipse.osgi/55/0/.cp/gradle/init/init.gradle +auto.sync=false +build.scans.enabled=false +connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER) +connection.project.dir= +eclipse.preferences.version=1 +gradle.user.home=/home/jacek/.local/share/gradle +java.home=/nix/store/bc662545zjk7dkcm5mrzpj111hrgzyq1-openjdk-19.0.2+7/lib/openjdk +jvm.arguments= +offline.mode=false +override.workspace.settings=true +show.console.view=true +show.executions.view=true diff --git a/lab3/zad2/app/.classpath b/lab3/zad2/app/.classpath new file mode 100644 index 0000000..cd32a54 --- /dev/null +++ b/lab3/zad2/app/.classpath @@ -0,0 +1,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/lab3/zad2/app/.project b/lab3/zad2/app/.project new file mode 100644 index 0000000..46227c0 --- /dev/null +++ b/lab3/zad2/app/.project @@ -0,0 +1,34 @@ + + + app + Project app created by Buildship. + + + + + org.eclipse.jdt.core.javabuilder + + + + + org.eclipse.buildship.core.gradleprojectbuilder + + + + + + org.eclipse.jdt.core.javanature + org.eclipse.buildship.core.gradleprojectnature + + + + 1715337152375 + + 30 + + org.eclipse.core.resources.regexFilterMatcher + node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__ + + + + diff --git a/lab3/zad2/app/.settings/org.eclipse.buildship.core.prefs b/lab3/zad2/app/.settings/org.eclipse.buildship.core.prefs new file mode 100644 index 0000000..b1886ad --- /dev/null +++ b/lab3/zad2/app/.settings/org.eclipse.buildship.core.prefs @@ -0,0 +1,2 @@ +connection.project.dir=.. +eclipse.preferences.version=1 diff --git a/lab3/zad2/app/.settings/org.eclipse.jdt.core.prefs b/lab3/zad2/app/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..55e9d5f --- /dev/null +++ b/lab3/zad2/app/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,4 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=19 +org.eclipse.jdt.core.compiler.compliance=19 +org.eclipse.jdt.core.compiler.source=19 diff --git a/lab3/zad2/app/build.gradle.kts b/lab3/zad2/app/build.gradle.kts new file mode 100644 index 0000000..abfd2ec --- /dev/null +++ b/lab3/zad2/app/build.gradle.kts @@ -0,0 +1,49 @@ +/* + * This file was generated by the Gradle 'init' task. + * + * This generated file contains a sample Java application project to get you started. + * For more details on building Java & JVM projects, please refer to https://docs.gradle.org/8.6/userguide/building_java_projects.html in the Gradle documentation. + */ + +plugins { + // Apply the application plugin to add support for building a CLI application in Java. + application +} + +repositories { + // Use Maven Central for resolving dependencies. + mavenCentral() +} + +dependencies { + // Use JUnit Jupiter for testing. + testImplementation(libs.junit.jupiter) + + testRuntimeOnly("org.junit.platform:junit-platform-launcher") + + // This dependency is used by the application. + implementation(libs.guava) +} + +// Apply a specific Java toolchain to ease working on different environments. +java { + toolchain { + languageVersion = JavaLanguageVersion.of(19) + } +} + +tasks.withType { + manifest { + attributes["Main-Class"] = "pl.jacekpoz.Main" + } +} + +application { + // Define the main class for the application. + mainClass = "pl.jacekpoz.Main" +} + +// tasks.named("test") { +// // Use JUnit Platform for unit tests. +// useJUnitPlatform() +// } diff --git a/lab3/zad2/app/src/main/java/pl/jacekpoz/DHSetup.java b/lab3/zad2/app/src/main/java/pl/jacekpoz/DHSetup.java new file mode 100644 index 0000000..fc3e351 --- /dev/null +++ b/lab3/zad2/app/src/main/java/pl/jacekpoz/DHSetup.java @@ -0,0 +1,87 @@ +package pl.jacekpoz; + +import java.util.List; +import java.util.Random; +import java.util.function.Function; +import java.util.ArrayList; + +public class DHSetup implements IDHSetup { + private Function constructor; + private T generator; + + private List sieve_of_eratosthenes(long n) { + List is_prime = new ArrayList((int)n + 1); + for (int i = 0; i < n + 1; ++i) { + is_prime.add(true); + } + is_prime.set(0, false); + is_prime.set(1, false); + for (int i = 2; i <= n; ++i) { + if (is_prime.get(i) && i * i <= n) { + for (int j = i * i; j <= n; j += i) { + is_prime.set(j, false); + } + } + } + + List primes = new ArrayList(); + for (long i = 0; i <= n; ++i) { + if (is_prime.get((int)i)) { + primes.add(i); + } + } + return primes; + } + + + private boolean checkGenerator(T a) { + long p = a.getCharacteristic() - 1; + for (long q : sieve_of_eratosthenes((long)Math.sqrt(p))) { + T b = this.constructor.apply(new GF.Params(a.getCharacteristic(), p / q)); + T one = this.constructor.apply(new GF.Params(a.getCharacteristic(), 1)); + if (p % q == 0 && a.multiply(b).equals(one)) { + return false; + } + } + + return true; + } + + public DHSetup(final long characteristic, Function constructor) { + this.constructor = constructor; + + Random rand = new Random(); + + long num; + do { + num = rand.nextLong(1, characteristic); + } while (!checkGenerator(this.constructor.apply(new GF.Params(characteristic, num)))); + + this.generator = this.constructor.apply(new GF.Params(characteristic, num)); + } + + /* + * returns the generator + */ + @Override + public T getGenerator() { + return generator; + } + + /* + * raises `a` to the power of `b` + */ + @Override + public T power(T a, long b) { + T aCopy = this.constructor.apply(new GF.Params(a.getCharacteristic(), a.getValue())); + T res = a; + while (b > 0) { + if (b % 2 == 1) { + res.multiplyAssign(aCopy); + } + aCopy.multiplyAssign(aCopy); + b /= 2; + } + return res; + } +} diff --git a/lab3/zad2/app/src/main/java/pl/jacekpoz/GF.java b/lab3/zad2/app/src/main/java/pl/jacekpoz/GF.java new file mode 100644 index 0000000..a43f9b5 --- /dev/null +++ b/lab3/zad2/app/src/main/java/pl/jacekpoz/GF.java @@ -0,0 +1,212 @@ +package pl.jacekpoz; + +public class GF implements IGF { + private final long characteristic; + private long value; + + private static void verifyCharacteristics(final IGF lhs, final IGF rhs) throws IllegalArgumentException { + if (lhs.getCharacteristic() != rhs.getCharacteristic()) { + throw new IllegalArgumentException("both arguments must have the same characteristic"); + } + } + + public record Params(long characteristic, long value) {} + + public GF(final Params params) { + this(params.characteristic(), params.value()); + } + + public GF(final long characteristic, final long value) { + this.characteristic = characteristic; + this.value = value; + } + + /* + * `this` + `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public IGF add(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + return new GF(this.characteristic, (this.value + rhs.getValue()) % this.characteristic); + } + + /* + * `this` += `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public void addAssign(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + this.value = this.add(rhs).getValue(); + } + + /* + * `this` - `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public IGF subtract(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + if (this.value < rhs.getValue()) { + return new GF(this.characteristic, this.characteristic - (rhs.getValue() - this.value)); + } + return new GF((this.value - rhs.getValue()), this.characteristic); + } + + /* + * `this` -= `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public void subtractAssign(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + this.value = this.subtract(rhs).getValue(); + } + + /* + * `this` * `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public IGF multiply(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + return new GF(this.characteristic, (this.value * rhs.getValue()) % this.characteristic); + } + + /* + * `this` *= `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public void multiplyAssign(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + this.value = this.multiply(rhs).getValue(); + } + + /* + * `this` ^ -1 + * throws IllegalArgumentException on an uninvertible argument + */ + @Override + public IGF inverse() throws IllegalArgumentException { + long t1 = 0; + long t2 = 1; + long r1 = this.characteristic; + long r2 = this.value; + + while (r2 != 0) { + long q = r1 / r2; + long temp = t2; + t2 = t1 - q * t2; + t1 = temp; + temp = r2; + r2 = r1 - q * r2; + r1 = temp; + } + if (r1 > 1) { + throw new IllegalArgumentException("value isn't invertible"); + } + if (t1 < 0) { + t1 += this.characteristic; + } + return new GF(this.characteristic, t1); + } + + /* + * `this` / `rhs` + * throws IllegalArgumentException on division by 0 + * throws IllegalArgumentException on different characteristics + */ + @Override + public IGF divide(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + if (rhs.getValue() == 0) { + throw new IllegalArgumentException("division by 0 is illegal"); + } + + return this.multiply(rhs.inverse()); + } + + /* + * `this` /= `rhs` + * throws IllegalArgumentException on different characteristics + */ + @Override + public void divideAssign(final IGF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + this.value = this.divide(rhs).getValue(); + } + + /* + * returns true if `this` is 0, false otherwise + */ + @Override + public boolean isZero() { + return this.value == 0; + } + + /* + * returns an IGF from `characteristic` and `value` + */ + @Override + public IGF from(final long characteristic, final long value) { + return new GF(characteristic, value); + } + + /* + * returns the characteristic of `this` + */ + @Override + public long getCharacteristic() { + return this.characteristic; + } + + /* + * returns the value of `this` + */ + @Override + public long getValue() { + return this.value; + } + + @Override + public boolean equals(Object obj) { + if (obj instanceof GF rhs) { + if (this.characteristic != rhs.characteristic) { + return false; + } + + return this.value == rhs.getValue(); + } + + return false; + } + + /* + * compares `this` and `rhs` + * throws IllegalArgumentException on different characteristics + */ + public int compare(GF rhs) throws IllegalArgumentException { + verifyCharacteristics(this, rhs); + + if (this.value < rhs.getValue()) { + return -1; + } else if (this.value > rhs.getValue()) { + return 1; + } else { + return 0; + } + } + + @Override + public String toString() { + return "GF<" + this.characteristic + ">(" + this.value + ")"; + } +} diff --git a/lab3/zad2/app/src/main/java/pl/jacekpoz/IDHSetup.java b/lab3/zad2/app/src/main/java/pl/jacekpoz/IDHSetup.java new file mode 100644 index 0000000..3974414 --- /dev/null +++ b/lab3/zad2/app/src/main/java/pl/jacekpoz/IDHSetup.java @@ -0,0 +1,14 @@ +package pl.jacekpoz; + +public interface IDHSetup { + + /* + * returns the generator + */ + public T getGenerator(); + + /* + * raises `a` to the power of `b` + */ + public T power(T a, long b); +} diff --git a/lab3/zad2/app/src/main/java/pl/jacekpoz/IGF.java b/lab3/zad2/app/src/main/java/pl/jacekpoz/IGF.java new file mode 100644 index 0000000..31ead7b --- /dev/null +++ b/lab3/zad2/app/src/main/java/pl/jacekpoz/IGF.java @@ -0,0 +1,79 @@ +package pl.jacekpoz; + +public interface IGF { + + /* + * returns true if `this` is 0, false otherwise + */ + boolean isZero(); + + /* + * returns an IGF from `characteristic` and `value` + */ + IGF from(final long characteristic, final long value); + + /* + * returns the value of `this` + */ + long getValue(); + + /* + * returns the characteristic of `this` + */ + long getCharacteristic(); + + /* + * `this` + `rhs` + * throws IllegalArgumentException on different characteristics + */ + IGF add(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` += `rhs` + * throws IllegalArgumentException on different characteristics + */ + void addAssign(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` - `rhs` + * throws IllegalArgumentException on different characteristics + */ + IGF subtract(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` -= `rhs` + * throws IllegalArgumentException on different characteristics + */ + void subtractAssign(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` * `rhs` + * throws IllegalArgumentException on different characteristics + */ + IGF multiply(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` *= `rhs` + * throws IllegalArgumentException on different characteristics + */ + void multiplyAssign(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` ^ -1 + * throws IllegalArgumentException on an uninvertible argument + */ + IGF inverse() throws IllegalArgumentException; + + /* + * `this` / `rhs` + * throws IllegalArgumentException on division by 0 + * throws IllegalArgumentException on different characteristics + */ + IGF divide(final IGF rhs) throws IllegalArgumentException; + + /* + * `this` /= `rhs` + * throws IllegalArgumentException on different characteristics + */ + void divideAssign(final IGF rhs) throws IllegalArgumentException; +} diff --git a/lab3/zad2/app/src/main/java/pl/jacekpoz/Main.java b/lab3/zad2/app/src/main/java/pl/jacekpoz/Main.java new file mode 100644 index 0000000..6069505 --- /dev/null +++ b/lab3/zad2/app/src/main/java/pl/jacekpoz/Main.java @@ -0,0 +1,35 @@ +package pl.jacekpoz; + +public class Main { + private static final long CHARACTERISTIC = 1234567891; + + public static void main(String[] args) { + DHSetup dh = new DHSetup<>(CHARACTERISTIC, GF::new); + + System.out.println("common characteristic: " + dh.getGenerator().getCharacteristic()); + System.out.println("common generator: " + dh.getGenerator()); + + User> alice = new User<>(dh); + User> bob = new User<>(dh); + + GF publicAlice = alice.getPublicKey(); + System.out.println("Alice's public key: " + publicAlice); + + bob.setKey(publicAlice); + + GF publicBob = bob.getPublicKey(); + System.out.println("Bob's public key: " + publicBob); + + alice.setKey(publicBob); + + GF message = new GF(CHARACTERISTIC, 2137); + + System.out.println("message: " + message); + + GF encrypted = alice.encrypt(message); + System.out.println("encrypted message: " + encrypted); + + GF decrypted = bob.decrypt(message); + System.out.println("decrypted message: " + decrypted); + } +} diff --git a/lab3/zad2/app/src/main/java/pl/jacekpoz/User.java b/lab3/zad2/app/src/main/java/pl/jacekpoz/User.java new file mode 100644 index 0000000..6cb43f5 --- /dev/null +++ b/lab3/zad2/app/src/main/java/pl/jacekpoz/User.java @@ -0,0 +1,39 @@ +package pl.jacekpoz; + +import java.util.Random; + +public class User> { + private IDHSetup dh; + private long secret; + + private T key; + + public User(final IDHSetup dh) { + Random rand = new Random(); + this.secret = rand.nextLong(0, Long.MAX_VALUE); + + this.dh = dh; + } + + public T getPublicKey() { + return this.dh.power(dh.getGenerator(), this.secret); + } + + public void setKey(T a) { + this.key = this.dh.power(a, this.secret); + } + + public T encrypt(T m) throws IllegalArgumentException { + if (this.key.isZero()) { + throw new IllegalArgumentException("key must be set before encrypting"); + } + return (T) m.multiply(this.key); + } + + public T decrypt(T c) throws IllegalArgumentException { + if (this.key.isZero()) { + throw new IllegalArgumentException("key must be set before decrypting"); + } + return (T) c.divide(this.key); + } +} diff --git a/lab3/zad2/gradle/libs.versions.toml b/lab3/zad2/gradle/libs.versions.toml new file mode 100644 index 0000000..f36c2f1 --- /dev/null +++ b/lab3/zad2/gradle/libs.versions.toml @@ -0,0 +1,10 @@ +# This file was generated by the Gradle 'init' task. +# https://docs.gradle.org/current/userguide/platforms.html#sub::toml-dependencies-format + +[versions] +guava = "32.1.3-jre" +junit-jupiter = "5.10.0" + +[libraries] +guava = { module = "com.google.guava:guava", version.ref = "guava" } +junit-jupiter = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junit-jupiter" } diff --git a/lab3/zad2/gradle/wrapper/gradle-wrapper.jar b/lab3/zad2/gradle/wrapper/gradle-wrapper.jar new file mode 100644 index 0000000..d64cd49 Binary files /dev/null and b/lab3/zad2/gradle/wrapper/gradle-wrapper.jar differ diff --git a/lab3/zad2/gradle/wrapper/gradle-wrapper.properties b/lab3/zad2/gradle/wrapper/gradle-wrapper.properties new file mode 100644 index 0000000..a80b22c --- /dev/null +++ b/lab3/zad2/gradle/wrapper/gradle-wrapper.properties @@ -0,0 +1,7 @@ +distributionBase=GRADLE_USER_HOME +distributionPath=wrapper/dists +distributionUrl=https\://services.gradle.org/distributions/gradle-8.6-bin.zip +networkTimeout=10000 +validateDistributionUrl=true +zipStoreBase=GRADLE_USER_HOME +zipStorePath=wrapper/dists diff --git a/lab3/zad2/gradlew b/lab3/zad2/gradlew new file mode 100755 index 0000000..1aa94a4 --- /dev/null +++ b/lab3/zad2/gradlew @@ -0,0 +1,249 @@ +#!/bin/sh + +# +# Copyright © 2015-2021 the original authors. +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# https://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. +# + +############################################################################## +# +# Gradle start up script for POSIX generated by Gradle. +# +# Important for running: +# +# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is +# noncompliant, but you have some other compliant shell such as ksh or +# bash, then to run this script, type that shell name before the whole +# command line, like: +# +# ksh Gradle +# +# Busybox and similar reduced shells will NOT work, because this script +# requires all of these POSIX shell features: +# * functions; +# * expansions «$var», «${var}», «${var:-default}», «${var+SET}», +# «${var#prefix}», «${var%suffix}», and «$( cmd )»; +# * compound commands having a testable exit status, especially «case»; +# * various built-in commands including «command», «set», and «ulimit». +# +# Important for patching: +# +# (2) This script targets any POSIX shell, so it avoids extensions provided +# by Bash, Ksh, etc; in particular arrays are avoided. +# +# The "traditional" practice of packing multiple parameters into a +# space-separated string is a well documented source of bugs and security +# problems, so this is (mostly) avoided, by progressively accumulating +# options in "$@", and eventually passing that to Java. +# +# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS, +# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly; +# see the in-line comments for details. +# +# There are tweaks for specific operating systems such as AIX, CygWin, +# Darwin, MinGW, and NonStop. +# +# (3) This script is generated from the Groovy template +# https://github.com/gradle/gradle/blob/HEAD/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt +# within the Gradle project. +# +# You can find Gradle at https://github.com/gradle/gradle/. +# +############################################################################## + +# Attempt to set APP_HOME + +# Resolve links: $0 may be a link +app_path=$0 + +# Need this for daisy-chained symlinks. +while + APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path + [ -h "$app_path" ] +do + ls=$( ls -ld "$app_path" ) + link=${ls#*' -> '} + case $link in #( + /*) app_path=$link ;; #( + *) app_path=$APP_HOME$link ;; + esac +done + +# This is normally unused +# shellcheck disable=SC2034 +APP_BASE_NAME=${0##*/} +# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036) +APP_HOME=$( cd "${APP_HOME:-./}" > /dev/null && pwd -P ) || exit + +# Use the maximum available, or set MAX_FD != -1 to use that value. +MAX_FD=maximum + +warn () { + echo "$*" +} >&2 + +die () { + echo + echo "$*" + echo + exit 1 +} >&2 + +# OS specific support (must be 'true' or 'false'). +cygwin=false +msys=false +darwin=false +nonstop=false +case "$( uname )" in #( + CYGWIN* ) cygwin=true ;; #( + Darwin* ) darwin=true ;; #( + MSYS* | MINGW* ) msys=true ;; #( + NONSTOP* ) nonstop=true ;; +esac + +CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar + + +# Determine the Java command to use to start the JVM. +if [ -n "$JAVA_HOME" ] ; then + if [ -x "$JAVA_HOME/jre/sh/java" ] ; then + # IBM's JDK on AIX uses strange locations for the executables + JAVACMD=$JAVA_HOME/jre/sh/java + else + JAVACMD=$JAVA_HOME/bin/java + fi + if [ ! -x "$JAVACMD" ] ; then + die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +else + JAVACMD=java + if ! command -v java >/dev/null 2>&1 + then + die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +fi + +# Increase the maximum file descriptors if we can. +if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then + case $MAX_FD in #( + max*) + # In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked. + # shellcheck disable=SC2039,SC3045 + MAX_FD=$( ulimit -H -n ) || + warn "Could not query maximum file descriptor limit" + esac + case $MAX_FD in #( + '' | soft) :;; #( + *) + # In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked. + # shellcheck disable=SC2039,SC3045 + ulimit -n "$MAX_FD" || + warn "Could not set maximum file descriptor limit to $MAX_FD" + esac +fi + +# Collect all arguments for the java command, stacking in reverse order: +# * args from the command line +# * the main class name +# * -classpath +# * -D...appname settings +# * --module-path (only if needed) +# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables. + +# For Cygwin or MSYS, switch paths to Windows format before running java +if "$cygwin" || "$msys" ; then + APP_HOME=$( cygpath --path --mixed "$APP_HOME" ) + CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" ) + + JAVACMD=$( cygpath --unix "$JAVACMD" ) + + # Now convert the arguments - kludge to limit ourselves to /bin/sh + for arg do + if + case $arg in #( + -*) false ;; # don't mess with options #( + /?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath + [ -e "$t" ] ;; #( + *) false ;; + esac + then + arg=$( cygpath --path --ignore --mixed "$arg" ) + fi + # Roll the args list around exactly as many times as the number of + # args, so each arg winds up back in the position where it started, but + # possibly modified. + # + # NB: a `for` loop captures its iteration list before it begins, so + # changing the positional parameters here affects neither the number of + # iterations, nor the values presented in `arg`. + shift # remove old arg + set -- "$@" "$arg" # push replacement arg + done +fi + + +# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"' + +# Collect all arguments for the java command: +# * DEFAULT_JVM_OPTS, JAVA_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments, +# and any embedded shellness will be escaped. +# * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be +# treated as '${Hostname}' itself on the command line. + +set -- \ + "-Dorg.gradle.appname=$APP_BASE_NAME" \ + -classpath "$CLASSPATH" \ + org.gradle.wrapper.GradleWrapperMain \ + "$@" + +# Stop when "xargs" is not available. +if ! command -v xargs >/dev/null 2>&1 +then + die "xargs is not available" +fi + +# Use "xargs" to parse quoted args. +# +# With -n1 it outputs one arg per line, with the quotes and backslashes removed. +# +# In Bash we could simply go: +# +# readarray ARGS < <( xargs -n1 <<<"$var" ) && +# set -- "${ARGS[@]}" "$@" +# +# but POSIX shell has neither arrays nor command substitution, so instead we +# post-process each arg (as a line of input to sed) to backslash-escape any +# character that might be a shell metacharacter, then use eval to reverse +# that process (while maintaining the separation between arguments), and wrap +# the whole thing up as a single "set" statement. +# +# This will of course break if any of these variables contains a newline or +# an unmatched quote. +# + +eval "set -- $( + printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" | + xargs -n1 | + sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' | + tr '\n' ' ' + )" '"$@"' + +exec "$JAVACMD" "$@" diff --git a/lab3/zad2/gradlew.bat b/lab3/zad2/gradlew.bat new file mode 100644 index 0000000..25da30d --- /dev/null +++ b/lab3/zad2/gradlew.bat @@ -0,0 +1,92 @@ +@rem +@rem Copyright 2015 the original author or authors. +@rem +@rem Licensed under the Apache License, Version 2.0 (the "License"); +@rem you may not use this file except in compliance with the License. +@rem You may obtain a copy of the License at +@rem +@rem https://www.apache.org/licenses/LICENSE-2.0 +@rem +@rem Unless required by applicable law or agreed to in writing, software +@rem distributed under the License is distributed on an "AS IS" BASIS, +@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +@rem See the License for the specific language governing permissions and +@rem limitations under the License. +@rem + +@if "%DEBUG%"=="" @echo off +@rem ########################################################################## +@rem +@rem Gradle startup script for Windows +@rem +@rem ########################################################################## + +@rem Set local scope for the variables with windows NT shell +if "%OS%"=="Windows_NT" setlocal + +set DIRNAME=%~dp0 +if "%DIRNAME%"=="" set DIRNAME=. +@rem This is normally unused +set APP_BASE_NAME=%~n0 +set APP_HOME=%DIRNAME% + +@rem Resolve any "." and ".." in APP_HOME to make it shorter. +for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi + +@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m" + +@rem Find java.exe +if defined JAVA_HOME goto findJavaFromJavaHome + +set JAVA_EXE=java.exe +%JAVA_EXE% -version >NUL 2>&1 +if %ERRORLEVEL% equ 0 goto execute + +echo. 1>&2 +echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2 +echo. 1>&2 +echo Please set the JAVA_HOME variable in your environment to match the 1>&2 +echo location of your Java installation. 1>&2 + +goto fail + +:findJavaFromJavaHome +set JAVA_HOME=%JAVA_HOME:"=% +set JAVA_EXE=%JAVA_HOME%/bin/java.exe + +if exist "%JAVA_EXE%" goto execute + +echo. 1>&2 +echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2 +echo. 1>&2 +echo Please set the JAVA_HOME variable in your environment to match the 1>&2 +echo location of your Java installation. 1>&2 + +goto fail + +:execute +@rem Setup the command line + +set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar + + +@rem Execute Gradle +"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %* + +:end +@rem End local scope for the variables with windows NT shell +if %ERRORLEVEL% equ 0 goto mainEnd + +:fail +rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of +rem the _cmd.exe /c_ return code! +set EXIT_CODE=%ERRORLEVEL% +if %EXIT_CODE% equ 0 set EXIT_CODE=1 +if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE% +exit /b %EXIT_CODE% + +:mainEnd +if "%OS%"=="Windows_NT" endlocal + +:omega diff --git a/lab3/zad2/settings.gradle.kts b/lab3/zad2/settings.gradle.kts new file mode 100644 index 0000000..9408197 --- /dev/null +++ b/lab3/zad2/settings.gradle.kts @@ -0,0 +1,14 @@ +/* + * This file was generated by the Gradle 'init' task. + * + * The settings file is used to specify which projects to include in your build. + * For more detailed information on multi-project builds, please refer to https://docs.gradle.org/8.6/userguide/multi_project_builds.html in the Gradle documentation. + */ + +plugins { + // Apply the foojay-resolver plugin to allow automatic download of JDKs + id("org.gradle.toolchains.foojay-resolver-convention") version "0.7.0" +} + +rootProject.name = "zad2" +include("app") diff --git a/lab3/zad3/.gitignore b/lab3/zad3/.gitignore new file mode 100644 index 0000000..2f7896d --- /dev/null +++ b/lab3/zad3/.gitignore @@ -0,0 +1 @@ +target/ diff --git a/lab3/zad3/Cargo.lock b/lab3/zad3/Cargo.lock new file mode 100644 index 0000000..84732e5 --- /dev/null +++ b/lab3/zad3/Cargo.lock @@ -0,0 +1,75 @@ +# This file is automatically @generated by Cargo. +# It is not intended for manual editing. +version = 3 + +[[package]] +name = "cfg-if" +version = "1.0.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd" + +[[package]] +name = "getrandom" +version = "0.2.15" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "c4567c8db10ae91089c99af84c68c38da3ec2f087c3f82960bcdbf3656b6f4d7" +dependencies = [ + "cfg-if", + "libc", + "wasi", +] + +[[package]] +name = "libc" +version = "0.2.154" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ae743338b92ff9146ce83992f766a31066a91a8c84a45e0e9f21e7cf6de6d346" + +[[package]] +name = "ppv-lite86" +version = "0.2.17" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5b40af805b3121feab8a3c29f04d8ad262fa8e0561883e7653e024ae4479e6de" + +[[package]] +name = "rand" +version = "0.8.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404" +dependencies = [ + "libc", + "rand_chacha", + "rand_core", +] + +[[package]] +name = "rand_chacha" +version = "0.3.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88" +dependencies = [ + "ppv-lite86", + "rand_core", +] + +[[package]] +name = "rand_core" +version = "0.6.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c" +dependencies = [ + "getrandom", +] + +[[package]] +name = "wasi" +version = "0.11.0+wasi-snapshot-preview1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423" + +[[package]] +name = "zad3" +version = "0.1.0" +dependencies = [ + "rand", +] diff --git a/lab3/zad3/Cargo.toml b/lab3/zad3/Cargo.toml new file mode 100644 index 0000000..c2c2cd1 --- /dev/null +++ b/lab3/zad3/Cargo.toml @@ -0,0 +1,7 @@ +[package] +name = "zad3" +version = "0.1.0" +edition = "2021" + +[dependencies] +rand = "0.8.5" diff --git a/lab3/zad3/src/dhsetup.rs b/lab3/zad3/src/dhsetup.rs new file mode 100644 index 0000000..3c2ea78 --- /dev/null +++ b/lab3/zad3/src/dhsetup.rs @@ -0,0 +1,66 @@ +use rand::prelude::*; + +use crate::gf::IGF; + +pub struct DHSetup { + generator: T, + characteristic: u64, +} + +impl DHSetup { + fn sieve_of_eratosthenes(n: usize) -> Vec { + let mut is_prime = vec![true; n + 1]; + is_prime[0] = false; + is_prime[1] = false; + for i in 2..=n { + if is_prime[i] && i * i <= n { + for j in ((i * i)..=n).step_by(i) { + is_prime[j] = false; + } + } + } + + let mut primes = vec![]; + for i in 0..=n { + if is_prime[i] { + primes.push(i as u64); + } + } + return primes; + } + + fn check(a: T) -> bool { + let p = a.characteristic() - 1; + for q in Self::sieve_of_eratosthenes((p as f64).sqrt() as usize) { + if p % q == 0 && a * T::from((a.characteristic(), p / q)) == T::from((a.characteristic(), 1)) { + return false; + } + } + true + } + + pub fn new(characteristic: u64) -> Self { + let mut generator = thread_rng().gen_range(1..characteristic); + while !Self::check(T::from((characteristic, generator))) { + generator = thread_rng().gen_range(1..characteristic); + } + + Self { generator: T::from((characteristic, generator)), characteristic } + } + pub fn get_generator(&self) -> T { + self.generator + } + pub fn power(&self, a: T, b: u64) -> T { + let mut a = a; + let mut b = b; + let mut res: T = T::from((self.characteristic, 1)); + while b > 0 { + if b % 2 == 1 { + res = res * a; + } + a = a * a; + b /= 2; + } + res + } +} diff --git a/lab3/zad3/src/gf.rs b/lab3/zad3/src/gf.rs new file mode 100644 index 0000000..939d4da --- /dev/null +++ b/lab3/zad3/src/gf.rs @@ -0,0 +1,141 @@ +use std::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Sub, SubAssign}; + +pub trait IGF: PartialEq + PartialOrd + Add + AddAssign + Sub + SubAssign + Mul + MulAssign + Div> + DivAssign + Copy + From<(u64, u64)> { + fn value(&self) -> u64; + fn characteristic(&self) -> u64; + fn inverse(&self) -> Option; +} + +#[derive(Clone, Copy, Debug)] +pub struct GF { + characteristic: u64, + value: u64, +} + +impl GF { + pub fn new(characteristic: u64, value: u64) -> Self { + Self { characteristic, value: value % characteristic } + } +} + +impl IGF for GF { + + fn value(&self) -> u64 { + self.value + } + + fn characteristic(&self) -> u64 { + self.characteristic + } + + fn inverse(&self) -> Option { + let mut t1 = 0; + let mut t2 = 1; + let mut r1 = self.characteristic as i128; + let mut r2 = self.value as i128; + + while r2 != 0 { + let q = r1 / r2; + let temp = t2; + t2 = t1 - q * t2; + t1 = temp; + let tmp = r2; + r2 = r1 - q * r2; + r1 = tmp; + } + if r1 > 1 { + panic!("{} is not invertible", self.value); + } + if t1 < 0 { + t1 += self.characteristic as i128; + } + Some(Self::new(self.characteristic, t1 as u64)) + } +} + +impl PartialEq for GF { + fn eq(&self, rhs: &Self) -> bool { + self.value == rhs.value + } +} +impl PartialOrd for GF { + fn partial_cmp(&self, rhs: &Self) -> Option { + self.value.partial_cmp(&rhs.value) + } +} + +impl std::fmt::Display for GF { + fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { + write!(f, "GF<{}>({})", self.characteristic, self.value) + } +} + +impl Add for GF { + type Output = Self; + + fn add(self, rhs: Self) -> Self { + Self::new(self.characteristic, self.value + rhs.value) + } +} + +impl AddAssign for GF { + fn add_assign(&mut self, rhs: Self) { + self.value = (self.value + rhs.value) % self.characteristic; + } +} + +impl Sub for GF { + type Output = Self; + + fn sub(self, rhs: Self) -> Self { + if self.value < rhs.value { + Self::new(self.characteristic, self.characteristic - (rhs.value - self.value)) + } else { + Self::new(self.characteristic, self.value - rhs.value) + } + } +} + +impl SubAssign for GF { + fn sub_assign(&mut self, rhs: Self) { + self.value = if self.value < rhs.value { + self.characteristic - (rhs.value - self.value) + } else { + self.value - rhs.value + }; + } +} + +impl Mul for GF { + type Output = Self; + + fn mul(self, rhs: Self) -> Self { + Self::new(self.characteristic, (self.value * rhs.value) % self.characteristic) + } +} + +impl MulAssign for GF { + fn mul_assign(&mut self, rhs: Self) { + self.value = (self.value * rhs.value) % self.characteristic; + } +} + +impl Div for GF { + type Output = Option; + + fn div(self, rhs: Self) -> Option { + Some(self * rhs.inverse()?) + } +} + +impl DivAssign for GF { + fn div_assign(&mut self, rhs: Self) { + *self *= rhs.inverse().expect("division by an uninversible element"); + } +} + +impl From<(u64, u64)> for GF { + fn from(value: (u64, u64)) -> Self { + Self::new(value.0, value.1) + } +} diff --git a/lab3/zad3/src/main.rs b/lab3/zad3/src/main.rs new file mode 100644 index 0000000..235f567 --- /dev/null +++ b/lab3/zad3/src/main.rs @@ -0,0 +1,41 @@ +use dhsetup::DHSetup; + +use crate::{gf::{GF, IGF}, user::User}; + +mod dhsetup; +mod gf; +mod user; + +const CHARACTERISTIC: u64 = 1234567891; + +fn main() { + + let dh: DHSetup = DHSetup::new(CHARACTERISTIC); + + println!("common characteristic: {}", dh.get_generator().characteristic()); + println!("common generator: {}", dh.get_generator()); + + let mut alice = User::new(&dh); + let mut bob = User::new(&dh); + + let public_alice = alice.get_public_key(); + println!("Alice's public key: {}", public_alice); + + bob.set_key(public_alice); + + + let public_bob = bob.get_public_key(); + println!("Bob's public key: {}", public_bob); + + alice.set_key(public_bob); + + let message = GF::new(CHARACTERISTIC, 2137); + + println!("message: {}", message); + + let encrypted = alice.encrypt(message); + println!("encrypted message: {}", encrypted); + + let decrypted = bob.decrypt(encrypted); + println!("decrypted message: {}", decrypted); +} diff --git a/lab3/zad3/src/user.rs b/lab3/zad3/src/user.rs new file mode 100644 index 0000000..caa7f12 --- /dev/null +++ b/lab3/zad3/src/user.rs @@ -0,0 +1,30 @@ +use rand::{thread_rng, Rng}; + +use crate::{dhsetup::DHSetup, gf::IGF}; + + +pub struct User<'a, T: IGF> { + secret: u64, + dhsetup: &'a DHSetup, + key: Option, +} + +impl<'a, T: IGF> User<'a, T> { + pub fn new<'b: 'a>(dhsetup: &'b DHSetup) -> Self { + let secret = thread_rng().gen(); + Self { secret, dhsetup, key: None } + } + pub fn get_public_key(&self) -> T { + self.dhsetup.power(self.dhsetup.get_generator(), self.secret) + } + pub fn set_key(&mut self, a: T) { + self.key = Some(self.dhsetup.power(a, self.secret)); + } + pub fn encrypt(&self, m: T) -> T { + m * self.key.expect("key must be set before decrypting") + } + pub fn decrypt(&self, c: T) -> T { + (c / self.key.expect("key must be set before encrypting")).unwrap() + } +} +