Log in

Relevant bibliographies by topics / Proof of stake / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Proof of stake.

Dissertations / Theses on the topic 'Proof of stake'

Author: Grafiati

Published: 4 June 2021

Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 29 dissertations / theses for your research on the topic 'Proof of stake.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Borčík, Filip. "Testování bezpečnosti a výkonu Proof-of-Stake Protokolů pomocí simulace." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445485.

Full text

Abstract:

This work deals with performance and security testing of blockchain protocols based on the Proof-of-Stake (PoS) consensus model. It describes properties, problems, but also the use of blockchain systems. On theoretical levels, this thesis compares the properties and resistance to various attacks of numerous PoS protocols, specifically Algorand, Casper, Gasper, Snow White, Stellar and Decred. Additionally, this work implements a protocol simulator of Algorand, Casper FFG and Gasper. The simulator is built on top of the Bitcoin Simulator simulation tool, which is based on the NS-3 discrete netwo

APA, Harvard, Vancouver, ISO, and other styles

2

Kotráš, Jan. "Security and Performance Testbed for Simulation of Proof-of-Stake Protocols." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-432907.

Full text

Abstract:

Tato diplomová práce se zabývá technologii blockchain se zaměřením na konsenzus protokoly, zvláště protokoly typu proof-of-stake. V této práci naleznete popis těchto protokolů následovaný popisem konsenzu v technologii blockchain. Prvotní kapitoly detailněji popisují a porovnávají jednotlivé proof-of-stake protokoly na základě teoretických znalostí. Druhá část práce se zaobírá návrhem a implementací testbedu, který je následně použitý pro praktické porovnání proof-of-stake protokolů. V závěrečné částí práce je diskutováno nad zjištěnými výsledky pozorováním testbedu a zjištěnými vlatnostmi pro

APA, Harvard, Vancouver, ISO, and other styles

3

Tamaškovič, Marek. "Rychlý, škálovatelný, a DoS-rezistentní proof-of-stake konsensuální protokol založen na anonymizační vrstvě." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445480.

Full text

Abstract:

V tejto práci sumarizujeme aktuálny výskum protokolov z rodiny Proof-of-Stake ako napr. Algorand, Tendermint a LaKSA. Analyzovali sme ich funkcionalitu a tiež ich problémy. V rámci výskumu sme implementovali a novy protokol z rodiny Dôkaz-Podielom, ktorý rieši nájdené problémy ako priepustnosť, škálovatelnosť a bezpečnosť.

APA, Harvard, Vancouver, ISO, and other styles

4

Gustavsson, Emil, and Gabriel Ellebrink. "Kan avsiktlig friktion inom interaktionsdesign minska antal användarfel vid insatsprocessen för blockkedjor med Proof-of-Stake teknik?" Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-273981.

Full text

Abstract:

Denna studie undersöker huruvida avsiktligt implementerad friktion inom interaktionsdesign kan minska antal användarfel vid insatsprocessen för blockkedjor med Proof-of-Stake teknik. Friktion som avsiktligt implementerats har tidigare visats kunna leda till färre användarfel. Det spekuleras i att blockkedjor kan komma att användas i större utsträckning i framtiden. Eftersom fel i insatsprocessen för en blockkedja med Proof-of-Stake teknik kan leda till att pengar går förlorade valdes det området för att undersökas närmare om friktion kan leda till färre användarfel. Studien avgränsas till en t

APA, Harvard, Vancouver, ISO, and other styles

5

Коркішко, Анастасія Олександрівна. "Система забезпечення надійності транзакцій з використанням технології блокчейн". Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2020. https://ela.kpi.ua/handle/123456789/34815.

Full text

Abstract:

Кваліфікаційна робота включає пояснювальну записку (59 с., 34 рис., 3 табл., список використаної літератури з 12 найменувань, 3 додатки). Метою бакалаврського дипломного проєкту є аналіз надійності технології blockchain та розроблення приватного blockchain для підвищення надійності грошових переказів та написання смарт контракту для виконання фінансових транзакцій всередині приватного blockchain. Для досягнення даної мети був проведений ретельний аналіз переваг та недоліків технології blockchain, дослідження різновидності смарт контрактів та способи їх написання, порівняння принципів роботи

APA, Harvard, Vancouver, ISO, and other styles

6

Gustavsson, Emil, and Gabriel Ellebrink. "Kan avsiktlig friktion inom interaktions design minska antal användarfel vid insatsprocessen för blockkedjor med Proof-of-Stake teknik?" Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277950.

Full text

Abstract:

Denna studie undersöker huruvida avsiktligt implementerad friktion inom interaktionsdesign kan minska antal användarfel vid insatsprocessen för blockkedjor med Proof-of-Stake teknik. Friktion som avsiktligt implementerats har tidigare visats kunna leda till färre användarfel. Det spekuleras i att blockkedjor kan komma att användas i större utsträckning i framtiden. Eftersom fel i insatsprocessen för en blockkedja med Proof-of-Stake teknik kan leda till att pengar går förlorade valdes det området för att undersökas närmare om friktion kan leda till färre användarfel. Studien avgränsas till en t

APA, Harvard, Vancouver, ISO, and other styles

7

Gambaretto, Elisa. "Ethereum." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021.

Find full text

Abstract:

Le criptovalute costituiscono, insieme alla blockchain, una delle novità in ambito informatico più trattate nell’ultimo decennio. Tutti almeno una volta ne hanno sentito parlare e la maggior parte delle persone conoscono il significato di questi termini. Il presente elaborato di tesi mira ad illustrare ed analizzare il sistema di Ethereum, una piattaforma digitale utilizzata per eseguire smart contracts e applicazioni decentralizzate, oltre alla trasmissione di denaro, attraverso la sua valuta elettronica chiamata Ether. Inizialmente si illustrano le criptovalute descrivendone le tecnologie

APA, Harvard, Vancouver, ISO, and other styles

8

Madonna, Marco. "Modelizzazione e analisi del protocollo Algorand." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/22827/.

Full text

Abstract:

La tecnologia emergente delle blockchain sta attirando sempre più attenzioni portando alla creazione di una grande quantità di sistemi che adottano questa tecnologia. Il veloce sviluppo che hanno avuto dalla creazione di Bitcoin sta portando alla luce i problemi di scalabilità, efficienza e velocità che l’approccio Proof of Work porta con sè. In questa tesi esamineremo Algorand, una blockchain recente, basata sulla Proof of Stake, che si propone di arginare queste problematiche, sviluppandone un modello e testandolo con il tool di analisi statistica PRISM e verificandone sperimentalmente la re

APA, Harvard, Vancouver, ISO, and other styles

9

Fredriksson, Bastian. "A Distributed Public Key Infrastructure for the Web Backed by a Blockchain." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210912.

Full text

Abstract:

The thesis investigates how a blockchain can be used to build a decentralised public key infrastructure for the web, by proposing a custom federation blockchain relying on honest majority. Our main contribution is the design of a Proof of Stake protocol based on a stake tree, which builds upon an idea called follow-the-satoshi used in previous papers. Digital identities are stored in an authenticated self-balancing tree maintained by blockchain nodes. Our back-of-the-envelope calculations, based on the size of the domain name system, show that the block size must be set to at least 5.2 MB, whi

APA, Harvard, Vancouver, ISO, and other styles

10

Trombini, Marco. "Blockchain: hype or disruptor? Analisi e use cases." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018.

Find full text

Abstract:

Lo scopo di questa tesi di laurea è quello di fornire una panoramica sulla tecnologia blockchain affrontando tramite analisi della letteratura come viene definita, la tassonomia e le principali proprietà. Partendo da queste si affrontano quali sono oggigiorno gli ambiti di applicabilità della blockchain avvalendosi del supporto dei più recenti report e pubblicazioni da parte di enti di ricerca ed osservatori, per poi analizzare in chiave critica quelli che potrebbero essere gli sviluppi futuri della stessa. Viene brevemente trattato un metodo di indagine iterativo ritenuto adeguato per lo svil

APA, Harvard, Vancouver, ISO, and other styles

11

Clark, Jonathan. "Understanding scalability in distributed ledger technology." Master's thesis, Faculty of Commerce, 2021. http://hdl.handle.net/11427/32578.

Full text

Abstract:

Distributed ledger technology (DLT) stands to benefit industries such as financial services with transparency and censorship resistance. DLT systems need to be scalable to handle mass user adoption. Mass user adoption is required to demonstrate the true value of DLT. This dissertation first analyses scalability in ethereum and EOS. Currently, ethereum 1.0 uses proof of work (PoW) and handles only 14 transactions per second (tps) compared to Visa's peak 47 000 tps. Ethereum 2.0, known as Serenity, introduces sharding, proof of stake (Casper), plasma and state channels in and effort to scale the

APA, Harvard, Vancouver, ISO, and other styles

12

Ardizzone, Marcello. "Tecnologia Blockchain: Analisi dei meccanismi e delle principali piattaforme di supporto." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018.

Find full text

Abstract:

La Blockchain è un grande database per la gestione di transazioni crittografate su una rete decentralizzata di tipo peer-to-peer. Essa dà il nome a una nuova piattaforma tecnologica, che permette di ridefinire il modo in cui creiamo e scambiamo valore. Tale tecnologia si presta a trasformare radicalmente i concetti di transazione, proprietà e fiducia. Ciò si traduce in una rivoluzione per il settore finanziario (e non solo), aumentandone l’efficienza, la trasparenza e la sicurezza, e riducendone i costi. L’interesse verso questo tipo di tecnologia si è poi ravvivato nel momento in cui è appars

APA, Harvard, Vancouver, ISO, and other styles

13

Vatalaro, Giada. "La Blockchain e lo sviluppo della moneta di Tezos." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19601/.

Full text

Abstract:

La seguente tesi di laurea parla della Blockchain e in particolar modo dello sviluppo della moneta di Tezos. Andremo a vedere le basi che hanno portato alla nascita di questa nuova tecnologia tra cui la storia, l'evoluzione e le caratteristiche; descrivendo alcune delle criptovalute che l'hanno utilizzata tra cui: Bitcoin, Ethereum e, infine Tezos. Affronteremo alcuni paragoni tra le varie criptovalute presentate, in particolar modo il linguaggio di programmazione utilizzato per scrivere gli smart contracts e la sicurezza che ognuna di loro garantisce. Inoltre, parleremo degli smart contracts

APA, Harvard, Vancouver, ISO, and other styles

14

Hawkins, Matthew Lee. "Teaching Geometric Reasoning: Proof by Pictures?" NCSU, 2007. http://www.lib.ncsu.edu/theses/available/etd-08142007-115743/.

Full text

Abstract:

The purpose of this study was to investigate students? understanding of proof and proof writing using a new three-column method. The new three-column method consists of the traditional ?statements? and ?reasons? columns but also contains a ?picture? column in which students must draw a picture that corresponds to the ?statement.? It is believed that this third column will act as a blue print providing students with a visual representation of how the proof is constructed. By examining this blueprint students will understand which steps are needed to complete the proof as well as the proper orde

APA, Harvard, Vancouver, ISO, and other styles

15

Gransden, Thomas Glenn. "Automating proofs with state machine inference." Thesis, University of Leicester, 2017. http://hdl.handle.net/2381/40814.

Full text

Abstract:

Interactive theorem provers are tools that help to produce formal proofs in a semiautomatic fashion. Originally designed to verify mathematical statements, they can be potentially useful in an industrial context. Despite being endorsed by leading mathematicians and computer scientists, these tools are not widely used. This is mainly because constructing proofs requires a large amount of human effort and knowledge. Frustratingly, there is limited proof automation available in many theorem proving systems. To address this limitation, a new technique called SEPIA (Search for Proofs Using Inferred

APA, Harvard, Vancouver, ISO, and other styles

16

Barbosa, MÃrcia Pedrosa Cavalcante. "Impacts of proof in the electronic collection of vat in the state of Ceara: a sectoral analysis." Universidade Federal do CearÃ, 2011. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7907.

Full text

Abstract:

nÃo hÃ<br>The present study sets out this issue, in order to investigate the impacts of electronic invoice in the collection of VAT in the State of CearÃ, more precisely in the pioneering activities in their use. It was intended to achieve this purpose by researching the history, legislation, the operational model and the benefits of this new tool, with a descriptive and econometric analysis of the activities of VAT collections required and not required in the periods before and after the fiscal policy. We used the methodological âdifference in differenceâ, which results indicated that, in a g

APA, Harvard, Vancouver, ISO, and other styles

17

Cameron, Priscilla A. "Taking tonal proof to the world stage: developing a framework of creative and strategic choices to enhance an aspiring Australian feature film director's vision." Thesis, Griffith University, 2021. http://hdl.handle.net/10072/410149.

Full text

Abstract:

This thesis is informed by my own transition from short filmmaking to the writing and directing of my first feature film, The Butterfly Tree (2017). It investigates the crucial role of domestic distributors within the context of an Australian feature film ‘mainstream’ funding model and focuses on how domestic distributors evaluate an Australian feature film pitch and project. It also explores the power of tonal proof (for the purposes of this thesis, defined as a short-form project tonally reflective of the long-form project in terms of genre, tone and style). Its central line of inquiry inves

APA, Harvard, Vancouver, ISO, and other styles

18

Zühlke, Christian. "Die Privatbibliothek des Theologen Prof. Michael Schmaus in der SLUB." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2007. http://nbn-resolving.de/urn:nbn:de:swb:14-1193049116997-75974.

Full text

Abstract:

Durch Vermittlung von Frau Prof. Dr. Dr. h.c. Gerl-Falkovitz, der Inhaberin des Lehrstuhls für Religionsphilosophie, sowie des Lehrstuhlinhabers für Systematische Theologie, Professor Albert Franz, wurde der SLUB Dresden am 3. November 2003 in einer Feierstunde in Anwesenheit des Bischofs des Bistums Dresden- Meißen, Joachim Reinelt, die Bibliothek von Professor Dr. Michael Schmaus aus Gauting bei München als Schenkung übereignet.

APA, Harvard, Vancouver, ISO, and other styles

19

Behrens, Diogo, Marco Serafini, Sergei Arnautov, Flavio Junqueira, and Christof Fetzer. "Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-203622.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Behrens, Diogo, Marco Serafini, Sergei Arnautov, Flavio Junqueira, and Christof Fetzer. "Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments." Technische Universität Dresden, 2015. https://tud.qucosa.de/id/qucosa%3A29539.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Hedlund, Beatrice. "The right to life, A case research on how article 4 of the American Convention on Human Rights is connected to the act on forced disappearance, according to the Inter-American Court on Human Rights." Thesis, Malmö universitet, Fakulteten för kultur och samhälle (KS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-23171.

Full text

Abstract:

Syftet med uppsatsen är att utreda hur rätten till liv har ett samband med tvångsförsvinnande enligt den Inter-Amerikanska Domstolen om Mänskliga Rättigheter. För att uppnå uppsatsens syfte genomförs en rättsutredning kring gällande rätt, där en rättsdogmatisk metod och fallstudie applicerats. Uppsatsen kommer vidare att analyseras mot bakgrund av en rättsvetenskaplig teori, där relevant rättspraxis som den Inter-Amerikanska Domstolen om Mänskliga Rättigheter bemött samt en kortfattad genomgång av kontexters påverkan. Under utredningen av de konventionella källorna finns vissa krav för att upp

APA, Harvard, Vancouver, ISO, and other styles

22

RodrÃguez, Yan Carlos Chiu. "AvaliaÃÃo preliminar da previsÃo da capacidade de carga e do recalque de estacas prÃ-moldadas de concreto em perfis de solos granulares." Universidade Federal do CearÃ, 2015. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=16376.

Full text

Abstract:

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico<br>As estacas prÃ-fabricadas sÃo uma alternativa de fundaÃÃo indicada em situaÃÃes em que a vizinhanÃa nÃo apresenta restriÃÃes quanto a vibraÃÃes decorrentes de sua execuÃÃo. AlÃm disso, perfis de solos com baixa capacidade de suporte superficialmente e que se estende a maiores profundidades tambÃm apontam para a possibilidade de escolha dessa alternativa. Nestes casos, alÃm de outros, fundaÃÃes em estacas prÃ-fabricadas de concreto podem proporcionar fundaÃÃes tecnicamente possÃveis e economicamente mais atraente. Nesta dissertaÃÃ

APA, Harvard, Vancouver, ISO, and other styles

23

Ramosoeu, Makhabo Khabiso Ellen. "Characterisation and static behaviour of the DMLS Ti-6AI-4V for Bio-medical applications." Thesis, Bloemfontein: Central University of Technology, Free State, 2015. http://hdl.handle.net/11462/275.

Full text

Abstract:

Thesis (M. Tech. (Engineering: Mechanical)) -- Central University of Technology, Free State,<br>The Centre for Rapid Prototyping and Manufacturing (CRPM) at the Central University of Technology, Free State (CUT) manufactures implants using Electro Optical Systems (EOS) titanium Ti-6Al-4V alloy powder (further referred to as EOS Ti64 powder) by means of Direct Metal Laser Sintering (DMLS) process on the EOSINT M 270 machine. For this reason, there is a need to characterise and acquire knowledge of the basic properties of direct metal laser sintered EOS titanium Ti-6Al-4V alloy samples (further

APA, Harvard, Vancouver, ISO, and other styles

24

Sremack, Joseph C. "Formalizing computer forensic analysis a proof-based methodology /." 2004. http://www.lib.ncsu.edu/theses/available/etd-03312004-230130/unrestricted/etd.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Mansi, Kate Elizabeth. "Reasoning and geometric proof in mathematics education a review of the literature /." 2003. http://www.lib.ncsu.edu/theses/available/etd-06242003-140716/unrestricted/etd.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Boileau, Jean Christian. "The Physical Underpinning of Security Proofs for Quantum Key Distribution." Thesis, 2007. http://hdl.handle.net/10012/3366.

Full text

Abstract:

The dawn of quantum technology unveils a plethora of new possibilities and challenges in the world of information technology, one of which is the quest for secure information transmission. A breakthrough in classical algorithm or the development of a quantum computer could threaten the security of messages encoded using public key cryptosystems based on one-way function such as RSA. Quantum key distribution (QKD) offers an unconditionally secure alternative to such schemes, even in the advent of a quantum computer, as it does not rely on mathematical or technological assumptions, but rather on

APA, Harvard, Vancouver, ISO, and other styles

27

Hung, Chang Wei, and 洪常瑋. "Analyzing a steady-state phenomenon using an ensemble of sequential transient events: A proof of concept on photocurrent due to bacteriorhodopsin proton pump upon continuous photoexcitation." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/35636821098761002999.

Full text

Abstract:

碩士<br>國立清華大學<br>化學系<br>103<br>The proton pump activity of bacteriorhodopsin in aqueous solution upon excitation with modulated continuous light was monitored electrochemically and analyzed by superimposing a series of transient proton translocation events Hi+(t). An evolution function , including a decay and a stationary offset, was introduced to weight the contribution of the individual transient events evolving with time in the envelope of the steady-state event. The evolution of the total proton concentration can be treated as an ensemble of weighted sequential transient events, , and the

APA, Harvard, Vancouver, ISO, and other styles

28

Van, Heerden Cornelia Maritha. "Invloed van die grondwet op die bewyslas in die lasterreg." Diss., 1996. http://hdl.handle.net/10500/16302.

Full text

Abstract:

Summaries in Afrikaans and English<br>Text in Afrikaans<br>Die siviele lasterreg word gekenmerk deur verdeeldheid aangaande bewyspligtigheid. 'n Unieke situasie doen horn voor: weerlegbare regsvermoedens van onregmatigheid en animus iniuriandi word opgevolg deur verskeie regsverdigingsgronde. Bykomend hiertoe stel die Grondwet die vereiste van konstitusionele regverdiging vir beperkings op fundamentele regte. 'n Oorsig oor die regspraak in sowel die voorgrondwetlike - as na-grondwetlike bedeling, dui op 'n versuim deur die howe om behoorlik aandag te skenk aan die bewyspligtigheidsgevolge

APA, Harvard, Vancouver, ISO, and other styles

29

Schleiffer, Marais Prisca Christina Leonie. "Cross-border taking of evidence in civil and commercial matters in Switzerland, South Africa, Botswana, Namibia, Nigeria, and Uganda." Thesis, 2013. http://hdl.handle.net/10500/10205.

Full text

Abstract:

The thesis investigates the extent to which cross-border taking of evidence in civil and com-mercial matters in relation to Switzerland, South Africa, Botswana, Namibia, Nigeria, and Uganda is allowed. Such evidence-taking is not only governed by the domestic law of the state seeking evidence abroad and that of the state where the relevant means of proof are located, but also by public international law, and more specifically by the concept of sovereignty. The ad-missibility of the cross-border taking of evidence under public international law depends on whether or not evidence-gathering in ci

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!