-
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency
Authors:
Rodrigo Q. Saramago,
Leander Jehl,
Hein Meling,
Vero Estrada-Galiñanes
Abstract:
Still to this day, academic credentials are primarily paper-based, and the process to verify the authenticity of such documents is costly, time-consuming, and prone to human error and fraud. Digitally signed documents facilitate a cost-effective verification process. However, vulnerability to fraud remains due to reliance on centralized authorities that lack full transparency. In this paper, we pr…
▽ More
Still to this day, academic credentials are primarily paper-based, and the process to verify the authenticity of such documents is costly, time-consuming, and prone to human error and fraud. Digitally signed documents facilitate a cost-effective verification process. However, vulnerability to fraud remains due to reliance on centralized authorities that lack full transparency. In this paper, we present the mechanisms we designed to create secure and machine-verifiable academic credentials. Our protocol models a diploma as an evolving set of immutable credentials. The credentials are built as a tree-based data structure with linked time-stam**, where portions of credentials are distributed over a set of smart contracts. Our design prevents fraud of diplomas and eases the detection of degree mills, while increasing the transparency and trust in the issuer's procedures. Our evaluation shows that our solution offers a certification system with strong cryptographic security and imposes a high level of transparency of the certification process. We achieve these benefits with acceptable costs compared to existing solutions that lack such transparency.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy
Authors:
Vero Estrada-Galinanes,
Racin Nygaard,
Viktor Tron,
Rodrigo Saramago,
Leander Jehl,
Hein Meling
Abstract:
Blockchain is the driving force behind a myriad of decentralized applications (dapps) that promise to transform the Internet. The next generation Internet, or web3, introduces a "universal state layer" to store data in p2p networks. Swarm, a native layer of the Ethereum web3 stack, aims at providing redundant storage for dapp code, data, as well as, blockchain and state data. Based on a diploma ve…
▽ More
Blockchain is the driving force behind a myriad of decentralized applications (dapps) that promise to transform the Internet. The next generation Internet, or web3, introduces a "universal state layer" to store data in p2p networks. Swarm, a native layer of the Ethereum web3 stack, aims at providing redundant storage for dapp code, data, as well as, blockchain and state data. Based on a diploma verification dapp use case, we share insights on the role of redundancy strategies in designing a reliable storage layer. Our proof-of-concept improves Swarm's resilience to failures by balancing repairs and storage, with a slightly added latency.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
Bivariant Versions of Algebraic Cobordism
Authors:
Rui Miguel Saramago
Abstract:
We define four distinct oriented bivariant theories associated with algebraic cobordism in its two versions (the axiomatic $Ω$ and the geometric $ω$), when applied to quasi-projective varieties over a field $k$. Specifically, we obtain contravariant analogues of the algebraic bordism group $Ω_*(X)$ and the double point bordism group $ω_*(X)$, for $X$ a quasi-projective variety, and covariant analo…
▽ More
We define four distinct oriented bivariant theories associated with algebraic cobordism in its two versions (the axiomatic $Ω$ and the geometric $ω$), when applied to quasi-projective varieties over a field $k$. Specifically, we obtain contravariant analogues of the algebraic bordism group $Ω_*(X)$ and the double point bordism group $ω_*(X)$, for $X$ a quasi-projective variety, and covariant analogues of the algebraic cobordism ring $Ω^*(X)$ and the double point cobordism ring $ω^*(X)$, for $X$ a smooth variety. When the ground field has characteristic zero, we use the universal properties of algebraic cobordism in order to obtain correspondences between these oriented bivariant theories.
△ Less
Submitted 2 September, 2015;
originally announced September 2015.