|
|
Multivariate polynomial commitment schemes
Bžatková, Kateřina ; Hubáček, Pavel (advisor) ; Žemlička, Jan (referee)
This thesis focuses on polynomial commitment schemes - cryptographic protocols that allow committing to a polynomial and, subsequently, proving the correctness of evaluations of the committed polynomial at requested points. As our main results, we present new schemes that enable committing to multivariate polynomials and efficiently proving the correctness of evaluations at multiple points. As the main technical tools for our constructions, we use theorems from abstract algebra related to ideals of polynomial rings and some group-theoretic properties. Compared to the state-of-the-art that inspired our work, our main contribution is the improved communication complexity achieved by our protocol.
|
|
|
Representing Images by Weighted Finite Automata
Hurtišová, Viktória ; Holub, Štěpán (advisor) ; Žemlička, Jan (referee)
The goal of this thesis is to introduce weighted finite automata (WFA) as a means of representing multi-resolution raster images. We explain the basic concepts of weighted finite automata. Then we describe an encoding algorithm that converts an image into a WFA and a decoding algorithm that can generate back the original image. We then provide our implementation of the encoding and decoding algorithms. 1
|
|
|
Structural and categorical description of classes of abelian groups
Dvořák, Josef ; Žemlička, Jan (advisor) ; Modoi, George Ciprian (referee) ; Příhoda, Pavel (referee)
The work presents results concerning the self-smallness and relative smallness properties of products in the category of abelian groups and in Ab5-categories. Criteria of relative smallness of abelian groups and a characterization of self-small products of finitely generated abelian groups are also given. A decomposition theory of UD-categories and in consequence a unified theory of decomposition in categories of S-acts is developed with applications on (auto)compactness proper- ties of S-acts. A structural description of compact objects in two categories of S-acts is provided. The existence of projective covers in categories S − Act and S − Act0 and the issue of perfectness of a monoid with zero are discussed. 1
|
|
|
R-projectivity
Fuková, Kateřina ; Trlifaj, Jan (advisor) ; Žemlička, Jan (referee)
A module over a ring R is R-projective if it is projective relative to R. This module- theoretic notion is dual to the notion of an R-injective module that plays a key role in the classic Baer's Criterion for Injectivity. This Thesis is concerned with the validity of dual version of Baer's Criterion. It also introduces a concept of projectivity in a general category-theoretic setting. DBC is known to hold for all perfect rings. However, DBC either fails or it is undecid- able in ZFC for non-perfect rings. In this Thesis we deal with the subclass of non-perfect rings, which are small, regular, semiartinian and have primitive factors artinian. Trlifaj showed that there is an extension of ZFC in which DBC holds for such rings. Especially, it is enough to consider extension of ZFC in which the weak version of Jensen's Diamond Principle holds. This combinatorial principle is known as the Weak Diamond Principle. Apart from an overview of the properties of rings mentioned above and introduction of the necessary set-theoretic notions, the Thesis also contains a proof of this new result by Trlifaj published in the paper "Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings" in the J. Algebra in 2022. 1
|
|
|
Functional encryption for quadratic functions
Sýkora, Josef ; Žemlička, Jan (advisor) ; Růžička, Pavel (referee)
In this thesis we will be studying functional encryption for quadratic functions. We want to encrypt a message, in form of a vector, z to a plaintext ct and create a secret key skf for a quadratic function f, which will allow us to decrypt ct to f(z), while the ct and skf will not leak any information about z. We will introduce one concrete design. The aim of this thesis will be the preparation of necessary preliminaries, which will allow us to describe the design, and to verify correctness of the algorithms. We will describe Arithmetic Branching Programs. Such objects will help us represent function f. Furthermore, we will introduce Garbling and Partial Garbling schemes. Those will allow us to "randomize"a part of the algorithm. We will also specify an encryption algorithm for linear transformation and use it to describe the main encryption algorithm for quadratic functions. 1
|
|
| |
|
| |
|
| |
|
| |
|
|
Banschewského funkce na komplementárních modulárních svazech
Mokriš, Samuel ; Růžička, Pavel (advisor) ; Žemlička, Jan (referee)
Title: Banaschewski function on countable complemented modular lattices Author: Samuel Mokriš Department: Department of Algebra Supervisor of the bachelor thesis: Mgr. Pavel Růžička, Ph.D., Department of Algebra Abstract: A Banaschewski function on a bounded lattice L is an antitone self-map on L that picks a complement for each element of L. On any at most countable complemented modular lattice L, there exists a Banaschewski function with a Boolean range M. Moreover, such M is a maximal Boolean sublattice of L and is uniquely determined up to isomorphism. In the thesis we give a negative answer to the related question whether all maximal Boolean sublattices in an arbitrary countable complemented modular lattice are isomorphic and whether every max- imal Boolean sublattice in an arbitrary countable complemented modular lattice L is the range of some Banaschewski function on L. We also generalize the coun- terexample to greater cardinalities; for a given infinite cardinal κ we construct a complemented modular lattice L of cardinality κ and maximal Boolean sublat- tices B and E of L such that B is not the range of any Banaschewski function on L, that there exists a Banaschewski function on L of range E, and that B is not isomorphic to E. Keywords: complemented modular lattice, Banaschewski function, von...
|
guest ::
RSS feed.