|
|
Mobile Cryptocurrency Wallet Based on zk-SNARKs and Smart Contracts
Slávka, Samuel ; Perešíni, Martin (referee) ; Homoliak, Ivan (advisor)
Cieľom tejto diplomovej práce je navrhnúť a implementovať prostredie pre kryptomenové peňaženky, ktoré je optimalizované pre požiadavky na úložisko a prenosovú rýchlosť v mobilných zariadeniach. S využitím zero-knowledge dôkazov navrhujeme mechanizmy side-chain výpočtu, ktoré overujú reťazce hlavičiek blokov a uchovávajú dôkazy o ich overeniach v blockchaine. Ľahkí mobilní klienti, využívajúci toto prostredie, už nebudú nútení sťahovať a neustále aktualizovať svoj reťazec hlavičiek, ale môžu používať záchytné body uložené v Smart kontrakte. Táto práca taktiež zahŕňa implementácie mobilnej peňaženky, ktorá používa implementované prostredie pre synchronizáciu s viacerými blockchainami.
|
|
| |
|
|
Mobile Cryptocurrency Wallet Based on zk-SNARKs and Smart Contracts
Slávka, Samuel ; Perešíni, Martin (referee) ; Homoliak, Ivan (advisor)
Cieľom tejto diplomovej práce je navrhnúť a implementovať prostredie pre kryptomenové peňaženky, ktoré je optimalizované pre požiadavky na úložisko a prenosovú rýchlosť v mobilných zariadeniach. S využitím zero-knowledge dôkazov navrhujeme mechanizmy side-chain výpočtu, ktoré overujú reťazce hlavičiek blokov a uchovávajú dôkazy o ich overeniach v blockchaine. Ľahkí mobilní klienti, využívajúci toto prostredie, už nebudú nútení sťahovať a neustále aktualizovať svoj reťazec hlavičiek, ale môžu používať záchytné body uložené v Smart kontrakte. Táto práca taktiež zahŕňa implementácie mobilnej peňaženky, ktorá používa implementované prostredie pre synchronizáciu s viacerými blockchainami.
|
|
|
Busy Beaver Problem
Kropitz, Pavel ; Holan, Tomáš (advisor) ; Mráz, František (referee)
The work's purpose was to develop and implement optimalization methods that could be used for solving Busy Beaver problem with order of 5+. The result of the work is the theoretical part and its implementation in form of two programs - simulator of Turing Machines which shows the computation of the machine in detail along with application of theory, and program searching the space of Turing Machines. The latter was ran for machines with four to six states. The quality of the methods was proven by small number of machines that the program could not detect and by nding a new record machine - candidate for 6-state Busy Beaver.
|
|
|
Elementary mathematics from an advanced standpoint
Kučera, Jiří ; Bečvář, Jindřich (advisor) ; Staněk, Jakub (referee)
Mine thesis is written for self-study of secondary school graduates students which prepare for the mathematically oriented high schools. It clarifies theoretical approach to mathematics. It was chosen topics exponents, square roots, logarithms and equations that contain these objects for this purpose. For this reason students are given the opportunity to gain stance to university mathematics knowledge that should be known from high school. In addition, his work allows him to enlarge knowledge of those topics and learn heavier and unusual examples.
|
|
|
Beginnings of Greek mathematics - Thales, Pythagoras and Euclid
Ebelová, Gabriela ; Kvasz, Ladislav (advisor) ; Jančařík, Antonín (referee)
Title: The beginnings of Greek mathematics - Thales, Pythagoras and Euclid Author: Gabriela Ebelová Department: Department of Matematics and Mathematical Education Supervisor: Prof. RNDr. Ladislav Kvasz, Ph.D. The work deals with a new look at the history of mathematics in Greece and its use in teaching mathematics today. The first part presents the three mathematicians Thales, Pythagoras and Euclid. It describes their lives and important works. The second part of the book is devoted to the analysis Arpad Szabo The Begginings of Greek Mathematics. There is presented a different view of the history of Greek mathematics. Content of the third and last part is the use of history in the teaching of mathematics. Also, comparing teaching methods in historical Greece and currently. Klíčová slova: history of mathematics, Arpád Szabó, teaching of mathematics
|
|
|
Teaching web application for secondary school mathematical logic
Moravec, Luboš
Teaching web application for secondary school mathematical logic Luboš Moravec Abstract: The head part of thís work is a website intended especially for secondary school students which teaches mathematical logic. The website is divided into two parts - a teaching text and tests. The teaching text, which is divided into seven chapters, explains the idea of propositions and their negations, basic logic connectives (conjunction, disjunction, implication, equivalence), a problem of finding truth value of composite propositions and their negations, work with quantifiers, set operations, Venn's diagrams and proof techniques. Except the teaching chapters there are also tests for verifing new knowledge. The questions in tests are randomly selected from a group of similar questions, so a repeated test has new questions. This text contains an user guide, a programmer documentation and a printed version of teaching chapters.
|
|
|
Means of evidence in civil process
Navrátilík, Šimon ; Sedláček, Miroslav (advisor) ; Smolík, Petr (referee)
- Means of Evidence in Civil Proceedings The topic of this thesis is means of evidence in civil process. The taking of evidence is the most important part of civil proceedings, and therefore this paper presents its comprehensive summary, together with an overview of the means of evidence available in civil proceedings. This work is divided into three main parts with many subchapters. The first part deals with the process of proving in general. It describes its course, main principles and rules that govern it. Likewise, this section focuses on partial issues in the taking of evidence, such as the standard of evidence or proving negative facts. Last but not least, it deals with the burden to claim and prove facts and their distribution among the parties. The second part deals with evidence expressly provided for in the Code of Civil Procedure. In practice, these means of proof are most often found in court proceedings, and therefore their application is dealt with in a number of texts and court decisions. Nevertheless, this section outlines how the individual evidence has evolved over time. The third part deals with non- regulated evidence in the Code of Civil Procedure. Of these, the most widespread is audio and video recordings whose crucial issue is their admissibility in the light of the right to...
|
|
| |
|
|
Advanced Topics in Plane Geometry
Hajmová, Kateřina ; Štěpánová, Martina (advisor) ; Moravcová, Vlasta (referee)
The aim of this thesis is to introduce a series of knowledge from advanced planimetry, which can be proved using the knowledge of high school geometry. Selected theorems deal with characteristic of squares with a common vertex (Finsler-Hadwiger theorem, Theorem of Four Squares, Bottema's theorem), significant points of plane entities (Gergonne point theorem, Švrček point theorem, Simson's Theorem, Miquel's theorem), Feuerbach's circle and its relation to the Euler's line. In this thesis, there is also mentioned Reim's theorem, Napoleon's theorem, and Thebault's theorem. This thesis contains a lot of illustrations created in the Geogebra Mathematical Software, which are available online in interactive form.
|
guest ::
