Showing 1–7 of 7 results for author: Mazonka, O

Modular Multiplication without Carry Propagation (Algorithm Description)

Authors: Oleg Mazonka

Abstract: This paper describes a sufficiently simple modular multiplication algorithm, which uses only carry-save addition with bit inspection Boolean logic and without number comparison or carry propagation. This paper describes a sufficiently simple modular multiplication algorithm, which uses only carry-save addition with bit inspection Boolean logic and without number comparison or carry propagation. △ Less

Submitted 27 July, 2022; originally announced July 2022.

Comments: Algorithm for Carry-Save modular multiplication. The follow up hardware paper based on the described algorithm is published in ICCAD 2022

Accelerating Fully Homomorphic Encryption by Bridging Modular and Bit-Level Arithmetic

Authors: Eduardo Chielle, Oleg Mazonka, Homer Gamil, Michail Maniatakos

Abstract: The dramatic increase of data breaches in modern computing platforms has emphasized that access control is not sufficient to protect sensitive user data. Recent advances in cryptography allow end-to-end processing of encrypted data without the need for decryption using Fully Homomorphic Encryption (FHE). Such computation however, is still orders of magnitude slower than direct (unencrypted) comput… ▽ More The dramatic increase of data breaches in modern computing platforms has emphasized that access control is not sufficient to protect sensitive user data. Recent advances in cryptography allow end-to-end processing of encrypted data without the need for decryption using Fully Homomorphic Encryption (FHE). Such computation however, is still orders of magnitude slower than direct (unencrypted) computation. Depending on the underlying cryptographic scheme, FHE schemes can work natively either at bit-level using Boolean circuits, or over integers using modular arithmetic. Operations on integers are limited to addition/subtraction and multiplication. On the other hand, bit-level arithmetic is much more comprehensive allowing more operations, such as comparison and division. While modular arithmetic can emulate bit-level computation, there is a significant cost in performance. In this work, we propose a novel method, dubbed bridging, that blends faster and restricted modular computation with slower and comprehensive bit-level computation, making them both usable within the same application and with the same cryptographic scheme instantiation. We introduce and open source C++ types representing the two distinct arithmetic modes, offering the possibility to convert from one to the other. Experimental results show that bridging modular and bit-level arithmetic computation can lead to 1-2 orders of magnitude performance improvement for tested synthetic benchmarks, as well as one real-world FHE application: a genotype imputation case study. △ Less

Submitted 13 January, 2023; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: Published in the IEEE/ACM 2022 International Conference on Computer-Aided Design (ICCAD)

Hasq Hash Chains

Authors: Oleg Mazonka, Vlad Popov

Abstract: This paper describes a particular hash-based records linking chain scheme. This scheme is simple conceptually and easy to implement in software. It allows for a simple and secure way to transfer ownership of digital objects between peers. This paper describes a particular hash-based records linking chain scheme. This scheme is simple conceptually and easy to implement in software. It allows for a simple and secure way to transfer ownership of digital objects between peers. △ Less

Submitted 14 December, 2014; originally announced December 2014.

Faster Fair Solution for the Reader-Writer Problem

Authors: Vlad Popov, Oleg Mazonka

Abstract: A fast fair solution for Reader-Writer Problem is presented. A fast fair solution for Reader-Writer Problem is presented. △ Less

Submitted 17 September, 2013; originally announced September 2013.

A Simple Multi-Processor Computer Based on Subleq

Authors: Oleg Mazonka, Alex Kolodin

Abstract: Subleq (Subtract and Branch on result Less than or Equal to zero) is both an instruction set and a programming language for One Instruction Set Computer (OISC). We describe a hardware implementation of an array of 28 one-instruction Subleq processors on a low-cost FPGA board. Our test results demonstrate that computational power of our Subleq OISC multi-processor is comparable to that of CPU of a… ▽ More Subleq (Subtract and Branch on result Less than or Equal to zero) is both an instruction set and a programming language for One Instruction Set Computer (OISC). We describe a hardware implementation of an array of 28 one-instruction Subleq processors on a low-cost FPGA board. Our test results demonstrate that computational power of our Subleq OISC multi-processor is comparable to that of CPU of a modern personal computer. Additionally, we provide implementation details of our complier from a C-style language to Subleq. △ Less

Submitted 13 June, 2011; originally announced June 2011.

Comments: 24 pages

Bit Copying - The Ultimate Computational Simplicity

Authors: Oleg Mazonka

Abstract: A computational abstract machine based on two operations: referencing and bit copying is presented. These operations are sufficient for carrying out any computation. They can be used as the primitives for a Turing-complete programming language. The interesting point is that the computation can be done without logic operations such as AND or OR. The compiler and emulator of this language with sampl… ▽ More A computational abstract machine based on two operations: referencing and bit copying is presented. These operations are sufficient for carrying out any computation. They can be used as the primitives for a Turing-complete programming language. The interesting point is that the computation can be done without logic operations such as AND or OR. The compiler and emulator of this language with sample programs are available on the Internet. △ Less

Submitted 5 June, 2011; v1 submitted 13 July, 2009; originally announced July 2009.

Journal ref: Complex Systems Journal 2011, Vol 19, N3

A Very Short Self-Interpreter

Authors: Oleg Mazonka, Daniel B. Cristofani

Abstract: In this paper we would like to present a very short (possibly the shortest) self-interpreter, based on a simplistic Turing-complete imperative language. This interpreter explicitly processes the statements of the language, which means the interpreter constitutes a description of the language inside that same language. The paper does not require any specific knowledge; however, experience in prog… ▽ More In this paper we would like to present a very short (possibly the shortest) self-interpreter, based on a simplistic Turing-complete imperative language. This interpreter explicitly processes the statements of the language, which means the interpreter constitutes a description of the language inside that same language. The paper does not require any specific knowledge; however, experience in programming and a vivid imagination are beneficial. △ Less

Submitted 21 November, 2003; originally announced November 2003.

ACM Class: D.3