区块链论文

链闻论文大全包括区块链技术论文, 区块链论文, 区块链项目论文, 密码学论文, 加密货币论文, 加密研究全文数据库, 全球重要区块链会议论文全集

Fu with Bitcoin smart contracts

除了简单的货币转移之外,比特币还支持各种形式的智能合约,即用户在预先约定的规则内进行交互的协议,这些规则决定货币最终如何分配。 本文对比特币智能合约进行了简单介绍,通过从底层比特币机制中抽象指定比特币智能合约,并利用 BitML 达到该目的,BitML 是一种最新的 DSL 在比特币上执行的智能合约。

Revocable Identity-based Encryption from Codes with Rank Metric

本文提出了一个基于身份的加密方案,其中包含有效的密钥撤销代码。最近,Gaborit 等人在加密 2017 年会上从等级度量的代码中提出了第一种基于身份的加密方案,称为 RankIBE。为了从任何公共身份中提取解密密钥,他们构建了一个陷阱函数,该函数依赖于由 Gaborit 等人在 PQCrypto 2014 中提出的签名方案 RankSign。本文采用相同的...

CSIDH: An Efficient Post-Quantum Commutative Group Action

本文提出了一种适用于后量子环境中的非交互式密钥交换的高效交换群组行为。 通过构造遵循 Couveignes-Rostovtsev-Stolbunov 密码系统的布局,并将它应用于在大素数场 {$ mathbb F_p} $ 上定义的超奇异椭圆曲线,而不是普通的椭圆曲线。 由群组动作产生的 Diffie-Hellman 方案允许以非常低的成本进行公钥验证,...

Cryptographic Hashing From Strong One-Way Functions

从单向函数构造抗碰撞散列族 CRHF 是理论密码学中长期存在的开放问题和挫折源头。事实上,存在强烈的负面结果:与单向函数的黑箱分离是 $2^ { - (1-o(1))n}$- 对多项式时间对手从不可区分性混淆。 在这项工作中,本文制定了指数安全的单向函数的温和强化,并且从这些函数构造 CRHF。具体而言,安全概念要求每个多项式时间算法具有至多 $2...

Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution

在减少零知识证明中的交互,沟通和验证时间方面取得了巨大进展,但使证明者高效仍然是一个重要挑战。本文构建了第一个关于公共和私人输入的程序的正确执行知识的零知识证明,其中证明者计算几乎是线性时间。与当前的现有技术证明系统相比,这节省了多对数因子的渐近性能。 文章使用 TinyRAM 模型来捕获通用处理器计算。一个实例由 TinyRAM 程序和公共输入组...

Masking the GLP Lattice-Based Signature Scheme at Any Order

最近,针对基于格的方案已经证明了许多物理攻击,经常利用它们的独特性质,例如依赖高斯分布,拒绝采样和基于FFT的多项式乘法。随着具体实施和部署后量子密码的要求变得更加紧迫,防范这些攻击是一个重要问题。不过,迄今为止还没有提出反措施。特别是掩蔽已经应用于一些基于格子的加密方案的解密过程,但签名的困难情况迄今尚未被考虑。 在本文中,描述了基于格的签名方案的第一个...

Post-Quantum One-Time Linkable Ring Signature and Application to Ring Confidential Transactions in Blockchain

本文构建了一个基于莱迪思的一次性可链接环签名 L2RS 方案,该方案使公众能够验证两个或多个签名是否由同一签名生成,同时仍保留签名人的匿名性。 L2RS 在 Ring Short Integer Solution 晶格硬度假设下提供了无条件的匿名性和安全性保证。 所提出的 L2RS 方案被扩展应用于我们称之为格点环形契约事务 RingCT v1.0 的协议中...

Composable Proof-of-Stake Blockchains with Dynamic Availability

基于证据的区块链旨在克服工作量证明范式的扩展性,效率和可组合性限制,这是基于几种主流加密货币的安全性的基础。 本文提出了基于 PoS 的区块链的第一可组合处理 GUC 处理,这种处理在 GUC 中首次捕捉到任意数量的可能不完全操作的派对,例如,由于网络问题,重新启动或操作系统更新,这些操作系统会影响其全部或部分本地资源,包括其网络接口和时钟。此类情况称之为...

Monotone Batch NP-Delegation with Applications to Access Control

考虑一些资源的访问策略,它只允许访问拥有一定属性的系统用户。具体来说,考虑这样的情况,其中这种访问结构由单调公式 $F:\ {0,1\}^N\rightarrow\ {0,1 \} $ 定义,其中 $N$ 是可能属性的数量。 在这项工作中,本文提出了两个结果,即使不考虑上述应用,也认为这是个人感兴趣的,并展示如何将它们结合起来以实现简洁的单轮私...

PanORAMa: Oblivious RAM with Logarithmic Overhead

本文提出了 PanORAMa,这是第一个为 N 块和任何块大小为 $B = \Omega(\ log N)$ 的数据库实现通信开销 $O(\logN\cdot\log\logN)$ 的不可思议 RAM 构造,仅需要客户端存储器的内存块数量不变。本文方案可以在“球”和“箱”中实例化模型,其中 Goldreich 和 Ostrovsky [JACM 96] 显示...
下载链闻 APP
链闻 ChainNews Apps 下载
链闻 Apps
扫码下载
WeChatWeiboFacebookTwitterLinkedInMediumGitHub论坛RSS收藏搜索移动Email文章Up