lab3
This commit is contained in:
parent
ab15875bf5
commit
0cfb8a0580
SSH key fingerprint:
SHA256:JyLeVWE4bF3tDnFeUpUaJsPsNlJyBldDGV/dIKSLyN8
35 changed files with 1723 additions and 0 deletions
7
lab3/zad1/.ccls
Normal file
7
lab3/zad1/.ccls
Normal file
|
|
@ -0,0 +1,7 @@
|
||||||
|
g++
|
||||||
|
%cpp -std=c++20
|
||||||
|
%hpp
|
||||||
|
-Iinclude
|
||||||
|
-Wall
|
||||||
|
-Wextra
|
||||||
|
-Wpedantic
|
||||||
2
lab3/zad1/.gitignore
vendored
Normal file
2
lab3/zad1/.gitignore
vendored
Normal file
|
|
@ -0,0 +1,2 @@
|
||||||
|
target/
|
||||||
|
.ccls-cache/
|
||||||
31
lab3/zad1/Makefile
Normal file
31
lab3/zad1/Makefile
Normal file
|
|
@ -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)
|
||||||
72
lab3/zad1/include/DHSetup.hpp
Normal file
72
lab3/zad1/include/DHSetup.hpp
Normal file
|
|
@ -0,0 +1,72 @@
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include <random>
|
||||||
|
#include <cstdint>
|
||||||
|
#include <iostream>
|
||||||
|
|
||||||
|
template <typename T>
|
||||||
|
class DHSetup {
|
||||||
|
|
||||||
|
T generator;
|
||||||
|
|
||||||
|
std::vector<uint64_t> sieve_of_eratosthenes(uint64_t n) {
|
||||||
|
std::vector<bool> 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<uint64_t> 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<uint64_t> 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;
|
||||||
|
}
|
||||||
|
};
|
||||||
149
lab3/zad1/include/GF.hpp
Normal file
149
lab3/zad1/include/GF.hpp
Normal file
|
|
@ -0,0 +1,149 @@
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include <cinttypes>
|
||||||
|
#include <compare>
|
||||||
|
#include <sstream>
|
||||||
|
#include <iostream>
|
||||||
|
|
||||||
|
template<uint64_t N>
|
||||||
|
class GF {
|
||||||
|
uint64_t _value;
|
||||||
|
public:
|
||||||
|
std::strong_ordering operator<=>(const GF<N> &rhs) const = default;
|
||||||
|
|
||||||
|
GF<N> &operator=(const GF<N> &value) = default;
|
||||||
|
|
||||||
|
GF()
|
||||||
|
: _value(0u) {}
|
||||||
|
|
||||||
|
GF(const uint64_t &value)
|
||||||
|
: _value(value % N) {}
|
||||||
|
|
||||||
|
GF<N> &operator=(const uint64_t &value) {
|
||||||
|
this->_value = value % N;
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> 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<N> operator+(const GF<N> &rhs) const {
|
||||||
|
return (this->_value + rhs._value) % N;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator+(const uint64_t &rhs) const {
|
||||||
|
return this->operator+(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator-(const GF<N> &rhs) const {
|
||||||
|
if (this->_value < rhs._value) {
|
||||||
|
return N - (rhs._value - this->_value);
|
||||||
|
}
|
||||||
|
return (this->_value - rhs._value);
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator-(const uint64_t &rhs) const {
|
||||||
|
return this->operator-(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator*(const GF<N> &rhs) const {
|
||||||
|
return (this->_value * rhs._value) % N;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator*(const uint64_t &rhs) const {
|
||||||
|
return this->operator*(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* throws std::invalid_argument when dividing by 0 or value isn't inversible
|
||||||
|
*/
|
||||||
|
GF<N> operator/(const GF<N> &rhs) const {
|
||||||
|
if (rhs._value == 0) {
|
||||||
|
throw std::invalid_argument("division by 0 is illegal");
|
||||||
|
}
|
||||||
|
|
||||||
|
return *this * rhs.inverse();
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator/(const uint64_t &rhs) const {
|
||||||
|
return this->operator/(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator+=(const GF<N> &rhs) {
|
||||||
|
*this = *this + rhs;
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator+=(const uint64_t &rhs) {
|
||||||
|
return this->operator+=(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator-=(const GF<N> &rhs) {
|
||||||
|
*this = *this - rhs;
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator-=(const uint64_t &rhs) {
|
||||||
|
return this->operator-=(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator*=(const GF<N> &rhs) {
|
||||||
|
*this = *this * rhs;
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator*=(const uint64_t &rhs) {
|
||||||
|
return this->operator*=(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator/=(const GF<N> &rhs) {
|
||||||
|
*this = *this / rhs;
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
GF<N> operator/=(const uint64_t &rhs) {
|
||||||
|
return this->operator/=(GF<N>(rhs));
|
||||||
|
}
|
||||||
|
|
||||||
|
friend std::ostream &operator<<(std::ostream &stream, const GF<N> &val) {
|
||||||
|
stream << "GF<" << N << ">(" << val._value << ")";
|
||||||
|
return stream;
|
||||||
|
}
|
||||||
|
|
||||||
|
friend std::istream &operator>>(std::istream &stream, GF<N> &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; }
|
||||||
|
};
|
||||||
47
lab3/zad1/include/User.hpp
Normal file
47
lab3/zad1/include/User.hpp
Normal file
|
|
@ -0,0 +1,47 @@
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include <DHSetup.hpp>
|
||||||
|
|
||||||
|
#include <random>
|
||||||
|
#include <cstdint>
|
||||||
|
#include <stdexcept>
|
||||||
|
|
||||||
|
template <typename T>
|
||||||
|
class User {
|
||||||
|
DHSetup<T> dh;
|
||||||
|
uint64_t secret;
|
||||||
|
|
||||||
|
T key = T(0);
|
||||||
|
|
||||||
|
public:
|
||||||
|
User(const DHSetup<T> &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;
|
||||||
|
}
|
||||||
|
};
|
||||||
40
lab3/zad1/src/main.cpp
Normal file
40
lab3/zad1/src/main.cpp
Normal file
|
|
@ -0,0 +1,40 @@
|
||||||
|
#include <iostream>
|
||||||
|
|
||||||
|
#include <DHSetup.hpp>
|
||||||
|
#include <GF.hpp>
|
||||||
|
#include <User.hpp>
|
||||||
|
|
||||||
|
typedef GF<1234567891> Key;
|
||||||
|
|
||||||
|
int main(void) {
|
||||||
|
|
||||||
|
DHSetup<Key> dh;
|
||||||
|
|
||||||
|
std::cout << "common characteristic: " << dh.getGenerator().characteristic() << "\n";
|
||||||
|
std::cout << "common generator: " << dh.getGenerator() << "\n";
|
||||||
|
|
||||||
|
User<Key> alice(dh);
|
||||||
|
User<Key> 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;
|
||||||
|
}
|
||||||
9
lab3/zad2/.gitattributes
vendored
Normal file
9
lab3/zad2/.gitattributes
vendored
Normal file
|
|
@ -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
|
||||||
|
|
||||||
5
lab3/zad2/.gitignore
vendored
Normal file
5
lab3/zad2/.gitignore
vendored
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
# Ignore Gradle project-specific cache directory
|
||||||
|
.gradle
|
||||||
|
|
||||||
|
# Ignore Gradle build output directory
|
||||||
|
build
|
||||||
28
lab3/zad2/.project
Normal file
28
lab3/zad2/.project
Normal file
|
|
@ -0,0 +1,28 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<projectDescription>
|
||||||
|
<name>zad2</name>
|
||||||
|
<comment>Project zad2 created by Buildship.</comment>
|
||||||
|
<projects>
|
||||||
|
</projects>
|
||||||
|
<buildSpec>
|
||||||
|
<buildCommand>
|
||||||
|
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
|
||||||
|
<arguments>
|
||||||
|
</arguments>
|
||||||
|
</buildCommand>
|
||||||
|
</buildSpec>
|
||||||
|
<natures>
|
||||||
|
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
|
||||||
|
</natures>
|
||||||
|
<filteredResources>
|
||||||
|
<filter>
|
||||||
|
<id>1715337152377</id>
|
||||||
|
<name></name>
|
||||||
|
<type>30</type>
|
||||||
|
<matcher>
|
||||||
|
<id>org.eclipse.core.resources.regexFilterMatcher</id>
|
||||||
|
<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
|
||||||
|
</matcher>
|
||||||
|
</filter>
|
||||||
|
</filteredResources>
|
||||||
|
</projectDescription>
|
||||||
13
lab3/zad2/.settings/org.eclipse.buildship.core.prefs
Normal file
13
lab3/zad2/.settings/org.eclipse.buildship.core.prefs
Normal file
|
|
@ -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
|
||||||
32
lab3/zad2/app/.classpath
Normal file
32
lab3/zad2/app/.classpath
Normal file
|
|
@ -0,0 +1,32 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<classpath>
|
||||||
|
<classpathentry kind="src" output="bin/main" path="src/main/java">
|
||||||
|
<attributes>
|
||||||
|
<attribute name="gradle_scope" value="main"/>
|
||||||
|
<attribute name="gradle_used_by_scope" value="main,test"/>
|
||||||
|
</attributes>
|
||||||
|
</classpathentry>
|
||||||
|
<classpathentry kind="src" output="bin/main" path="src/main/resources">
|
||||||
|
<attributes>
|
||||||
|
<attribute name="gradle_scope" value="main"/>
|
||||||
|
<attribute name="gradle_used_by_scope" value="main,test"/>
|
||||||
|
</attributes>
|
||||||
|
</classpathentry>
|
||||||
|
<classpathentry kind="src" output="bin/test" path="src/test/java">
|
||||||
|
<attributes>
|
||||||
|
<attribute name="gradle_scope" value="test"/>
|
||||||
|
<attribute name="gradle_used_by_scope" value="test"/>
|
||||||
|
<attribute name="test" value="true"/>
|
||||||
|
</attributes>
|
||||||
|
</classpathentry>
|
||||||
|
<classpathentry kind="src" output="bin/test" path="src/test/resources">
|
||||||
|
<attributes>
|
||||||
|
<attribute name="gradle_scope" value="test"/>
|
||||||
|
<attribute name="gradle_used_by_scope" value="test"/>
|
||||||
|
<attribute name="test" value="true"/>
|
||||||
|
</attributes>
|
||||||
|
</classpathentry>
|
||||||
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-19/"/>
|
||||||
|
<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
|
||||||
|
<classpathentry kind="output" path="bin/default"/>
|
||||||
|
</classpath>
|
||||||
34
lab3/zad2/app/.project
Normal file
34
lab3/zad2/app/.project
Normal file
|
|
@ -0,0 +1,34 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<projectDescription>
|
||||||
|
<name>app</name>
|
||||||
|
<comment>Project app created by Buildship.</comment>
|
||||||
|
<projects>
|
||||||
|
</projects>
|
||||||
|
<buildSpec>
|
||||||
|
<buildCommand>
|
||||||
|
<name>org.eclipse.jdt.core.javabuilder</name>
|
||||||
|
<arguments>
|
||||||
|
</arguments>
|
||||||
|
</buildCommand>
|
||||||
|
<buildCommand>
|
||||||
|
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
|
||||||
|
<arguments>
|
||||||
|
</arguments>
|
||||||
|
</buildCommand>
|
||||||
|
</buildSpec>
|
||||||
|
<natures>
|
||||||
|
<nature>org.eclipse.jdt.core.javanature</nature>
|
||||||
|
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
|
||||||
|
</natures>
|
||||||
|
<filteredResources>
|
||||||
|
<filter>
|
||||||
|
<id>1715337152375</id>
|
||||||
|
<name></name>
|
||||||
|
<type>30</type>
|
||||||
|
<matcher>
|
||||||
|
<id>org.eclipse.core.resources.regexFilterMatcher</id>
|
||||||
|
<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
|
||||||
|
</matcher>
|
||||||
|
</filter>
|
||||||
|
</filteredResources>
|
||||||
|
</projectDescription>
|
||||||
2
lab3/zad2/app/.settings/org.eclipse.buildship.core.prefs
Normal file
2
lab3/zad2/app/.settings/org.eclipse.buildship.core.prefs
Normal file
|
|
@ -0,0 +1,2 @@
|
||||||
|
connection.project.dir=..
|
||||||
|
eclipse.preferences.version=1
|
||||||
4
lab3/zad2/app/.settings/org.eclipse.jdt.core.prefs
Normal file
4
lab3/zad2/app/.settings/org.eclipse.jdt.core.prefs
Normal file
|
|
@ -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
|
||||||
49
lab3/zad2/app/build.gradle.kts
Normal file
49
lab3/zad2/app/build.gradle.kts
Normal file
|
|
@ -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<Jar> {
|
||||||
|
manifest {
|
||||||
|
attributes["Main-Class"] = "pl.jacekpoz.Main"
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
application {
|
||||||
|
// Define the main class for the application.
|
||||||
|
mainClass = "pl.jacekpoz.Main"
|
||||||
|
}
|
||||||
|
|
||||||
|
// tasks.named<Test>("test") {
|
||||||
|
// // Use JUnit Platform for unit tests.
|
||||||
|
// useJUnitPlatform()
|
||||||
|
// }
|
||||||
87
lab3/zad2/app/src/main/java/pl/jacekpoz/DHSetup.java
Normal file
87
lab3/zad2/app/src/main/java/pl/jacekpoz/DHSetup.java
Normal file
|
|
@ -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<T extends IGF> implements IDHSetup<T> {
|
||||||
|
private Function<GF.Params, T> constructor;
|
||||||
|
private T generator;
|
||||||
|
|
||||||
|
private List<Long> sieve_of_eratosthenes(long n) {
|
||||||
|
List<Boolean> is_prime = new ArrayList<Boolean>((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<Long> primes = new ArrayList<Long>();
|
||||||
|
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<GF.Params, T> 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;
|
||||||
|
}
|
||||||
|
}
|
||||||
212
lab3/zad2/app/src/main/java/pl/jacekpoz/GF.java
Normal file
212
lab3/zad2/app/src/main/java/pl/jacekpoz/GF.java
Normal file
|
|
@ -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 + ")";
|
||||||
|
}
|
||||||
|
}
|
||||||
14
lab3/zad2/app/src/main/java/pl/jacekpoz/IDHSetup.java
Normal file
14
lab3/zad2/app/src/main/java/pl/jacekpoz/IDHSetup.java
Normal file
|
|
@ -0,0 +1,14 @@
|
||||||
|
package pl.jacekpoz;
|
||||||
|
|
||||||
|
public interface IDHSetup<T> {
|
||||||
|
|
||||||
|
/*
|
||||||
|
* returns the generator
|
||||||
|
*/
|
||||||
|
public T getGenerator();
|
||||||
|
|
||||||
|
/*
|
||||||
|
* raises `a` to the power of `b`
|
||||||
|
*/
|
||||||
|
public T power(T a, long b);
|
||||||
|
}
|
||||||
79
lab3/zad2/app/src/main/java/pl/jacekpoz/IGF.java
Normal file
79
lab3/zad2/app/src/main/java/pl/jacekpoz/IGF.java
Normal file
|
|
@ -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;
|
||||||
|
}
|
||||||
35
lab3/zad2/app/src/main/java/pl/jacekpoz/Main.java
Normal file
35
lab3/zad2/app/src/main/java/pl/jacekpoz/Main.java
Normal file
|
|
@ -0,0 +1,35 @@
|
||||||
|
package pl.jacekpoz;
|
||||||
|
|
||||||
|
public class Main {
|
||||||
|
private static final long CHARACTERISTIC = 1234567891;
|
||||||
|
|
||||||
|
public static void main(String[] args) {
|
||||||
|
DHSetup<GF> dh = new DHSetup<>(CHARACTERISTIC, GF::new);
|
||||||
|
|
||||||
|
System.out.println("common characteristic: " + dh.getGenerator().getCharacteristic());
|
||||||
|
System.out.println("common generator: " + dh.getGenerator());
|
||||||
|
|
||||||
|
User<GF, DHSetup<GF>> alice = new User<>(dh);
|
||||||
|
User<GF, DHSetup<GF>> 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);
|
||||||
|
}
|
||||||
|
}
|
||||||
39
lab3/zad2/app/src/main/java/pl/jacekpoz/User.java
Normal file
39
lab3/zad2/app/src/main/java/pl/jacekpoz/User.java
Normal file
|
|
@ -0,0 +1,39 @@
|
||||||
|
package pl.jacekpoz;
|
||||||
|
|
||||||
|
import java.util.Random;
|
||||||
|
|
||||||
|
public class User<T extends IGF, D extends IDHSetup<T>> {
|
||||||
|
private IDHSetup<T> dh;
|
||||||
|
private long secret;
|
||||||
|
|
||||||
|
private T key;
|
||||||
|
|
||||||
|
public User(final IDHSetup<T> 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);
|
||||||
|
}
|
||||||
|
}
|
||||||
10
lab3/zad2/gradle/libs.versions.toml
Normal file
10
lab3/zad2/gradle/libs.versions.toml
Normal file
|
|
@ -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" }
|
||||||
BIN
lab3/zad2/gradle/wrapper/gradle-wrapper.jar
vendored
Normal file
BIN
lab3/zad2/gradle/wrapper/gradle-wrapper.jar
vendored
Normal file
Binary file not shown.
7
lab3/zad2/gradle/wrapper/gradle-wrapper.properties
vendored
Normal file
7
lab3/zad2/gradle/wrapper/gradle-wrapper.properties
vendored
Normal file
|
|
@ -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
|
||||||
249
lab3/zad2/gradlew
vendored
Executable file
249
lab3/zad2/gradlew
vendored
Executable file
|
|
@ -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" "$@"
|
||||||
92
lab3/zad2/gradlew.bat
vendored
Normal file
92
lab3/zad2/gradlew.bat
vendored
Normal file
|
|
@ -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
|
||||||
14
lab3/zad2/settings.gradle.kts
Normal file
14
lab3/zad2/settings.gradle.kts
Normal file
|
|
@ -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")
|
||||||
1
lab3/zad3/.gitignore
vendored
Normal file
1
lab3/zad3/.gitignore
vendored
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
target/
|
||||||
75
lab3/zad3/Cargo.lock
generated
Normal file
75
lab3/zad3/Cargo.lock
generated
Normal file
|
|
@ -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",
|
||||||
|
]
|
||||||
7
lab3/zad3/Cargo.toml
Normal file
7
lab3/zad3/Cargo.toml
Normal file
|
|
@ -0,0 +1,7 @@
|
||||||
|
[package]
|
||||||
|
name = "zad3"
|
||||||
|
version = "0.1.0"
|
||||||
|
edition = "2021"
|
||||||
|
|
||||||
|
[dependencies]
|
||||||
|
rand = "0.8.5"
|
||||||
66
lab3/zad3/src/dhsetup.rs
Normal file
66
lab3/zad3/src/dhsetup.rs
Normal file
|
|
@ -0,0 +1,66 @@
|
||||||
|
use rand::prelude::*;
|
||||||
|
|
||||||
|
use crate::gf::IGF;
|
||||||
|
|
||||||
|
pub struct DHSetup<T: IGF> {
|
||||||
|
generator: T,
|
||||||
|
characteristic: u64,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T: IGF> DHSetup<T> {
|
||||||
|
fn sieve_of_eratosthenes(n: usize) -> Vec<u64> {
|
||||||
|
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
|
||||||
|
}
|
||||||
|
}
|
||||||
141
lab3/zad3/src/gf.rs
Normal file
141
lab3/zad3/src/gf.rs
Normal file
|
|
@ -0,0 +1,141 @@
|
||||||
|
use std::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Sub, SubAssign};
|
||||||
|
|
||||||
|
pub trait IGF: PartialEq + PartialOrd + Add<Output = Self> + AddAssign + Sub<Output = Self> + SubAssign + Mul<Output = Self> + MulAssign + Div<Output = Option<Self>> + DivAssign + Copy + From<(u64, u64)> {
|
||||||
|
fn value(&self) -> u64;
|
||||||
|
fn characteristic(&self) -> u64;
|
||||||
|
fn inverse(&self) -> Option<Self>;
|
||||||
|
}
|
||||||
|
|
||||||
|
#[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<Self> {
|
||||||
|
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<std::cmp::Ordering> {
|
||||||
|
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<Self>;
|
||||||
|
|
||||||
|
fn div(self, rhs: Self) -> Option<Self> {
|
||||||
|
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)
|
||||||
|
}
|
||||||
|
}
|
||||||
41
lab3/zad3/src/main.rs
Normal file
41
lab3/zad3/src/main.rs
Normal file
|
|
@ -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<GF> = 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);
|
||||||
|
}
|
||||||
30
lab3/zad3/src/user.rs
Normal file
30
lab3/zad3/src/user.rs
Normal file
|
|
@ -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<T>,
|
||||||
|
key: Option<T>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<'a, T: IGF> User<'a, T> {
|
||||||
|
pub fn new<'b: 'a>(dhsetup: &'b DHSetup<T>) -> 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()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
Loading…
Reference in a new issue