skip to main content


Title: 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely
Award ID(s):
1801470
NSF-PAR ID:
10297880
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
Lecture notes in computer science
Volume:
12309
ISSN:
0302-9743
Page Range / eLocation ID:
697-712
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
  2. Proof-of-Work (PoW) is one of the fundamental and widely-used consensus algorithms in blockchains. In PoW, nodes compete to receive the mining reward by trying to be the first to solve a puzzle. Despite its fairness and wide availability, traditional PoW incurs extreme computational and energy waste over the blockchain. This waste is considered to be one of the biggest problems in PoW-based blockchains and cryptocurrencies. In this work, we propose a new useful PoW called Proof-of-Useful-Randomness (PoUR) that mitigates the energy waste by incorporating pre-computed (disclosable) randomness into the PoW. The key idea is to inject special randomness into puzzles via algebraic commitments that can be stored and later disclosed. Unlike the traditional wasteful PoWs, our approach enables pre-computed commitments to be utilized by a vast array of public-key cryptography methods that require offline-online processing (e.g., digital signature, key exchange, zero-knowledge protocol). Moreover, our PoW preserves the desirable properties of the traditional PoW and therefore does not require a substantial alteration in the underlying protocol. We showed the security of our PoW, and then fully implemented it to validate its significant energy-saving capabilities. 
    more » « less
  3. null (Ed.)
    Graphene-based 3D macroscopic aerogels with their hierarchical porous structures and mechanical strength have been widely explored for removing contaminants from water. However, their large-scale manufacturing and application in various water treatment processes are limited by their scalability. In this study, we report a proof-of-concept direct ink writing (DIW) 3D printing technique and subsequent freeze-drying to prepare graphene-biopolymer aerogels for water treatment. To provide appropriate rheology for DIW printability, two bio-inspired polymers, polydopamine (PDA) and bovine serum albumin (BSA), were added to the graphene-based ink. The biopolymers also contributed to the contaminant removal capacity of the resultant graphene-polydopamine-bovine serum albumin (G-PDA-BSA) aerogel. The physicochemical properties of the aerogel were thoroughly characterized from the nano- to macroscale. The 3D printed aerogel exhibited excellent water contaminant removal performance for heavy metals (Cr( vi ), Pb( ii )), organic dyes (cationic methylene blue and anionic Evans blue), and organic solvents ( n -hexane, n -heptane, and toluene) in batch adsorption studies. The electrostatic interaction dominated the removal of heavy metals and dyes while the hydrophobic interaction dominated the removal of organic solvents from water. Moreover, the aerogel showed superb regeneration and reuse potential. The aerogel removed 100% organic solvents over 10 cycles of regeneration and reuse; additionally, the removal efficiencies for methylene blue decreased by 2–20% after the third cycle. The fit-for-design 3D printed aerogel was also effectively used as a bottle-cap flow-through filter for dye removal. The potential and vision of the 3D printing approach for graphene-based water treatment presented here can be extended to other functional nanomaterials, can enable shape-specific applications of fit-for-purpose adsorbents/reactors and point-of-use filters, and can materialize the large-scale manufacturing of nano-enabled water treatment devices and technologies. 
    more » « less
  4. We present a coordinate-free version of Fefferman’s solution of Whitney’s extension problem in the space Cm−1,1(Rn). While the original argument relies on an elaborate induction on collections of partial derivatives, our proof uses the language of ideals and translation-invariant subspaces in the ring of polynomials. We emphasize the role of compactness in the proof, first in the familiar sense of topological compactness, but also in the sense of finiteness theorems arising in logic and semialgebraic geometry. These techniques may be relevant to the study of Whitney-type extension problems on sub-Riemannian manifolds where global coordinates are generally unavailable. 
    more » « less
  5. As technical computing software, such as MATLAB and SciPy, has gained popularity, ecosystems of interdependent software solutions and communities have formed around these technologies.The development and maintenance of these technical computing ecosystems requires expertise in both software engineering and the underlying technical domain. The inherently interdisciplinary nature of these ecosystems presents unique challenges and opportunities that shape software development practices.

    Proof assistants, a type of technical computing software, aid users in the creation of formal proofs. In order to examine the influence of the underlying technical domain --- mathematics --- on the development of proof assistant ecosystems, we mined participant activity data from the code repositories and social channels of three popular proof assistants: Lean, Coq, Isabelle. Despite having a shared technical domain, we found little cross-pollination between contributors to the proof assistants. Additionally, we found that most long-term developers focused solely on technical work and did not participate in official social channels. We also found that proof assistant developers specialized into technical subfields. However, the proportion of specialists varied between ecosystems. We did not find evidence that these specialties contributed to fractures within the ecosystems. We discuss the implications of these results on the long-term health and sustainability of proof assistant ecosystems.

    This artifact contains the scripts and dataset that support an MSR 2024 article.

     
    more » « less