Mental Poker Revisited学习笔记

已于 2022-07-15 10:36:37 修改
阅读量257 收藏
点赞数
分类专栏： 隐私应用 文章标签： 零知识证明
于 2022-07-12 23:23:10 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mutourend/article/details/125754232
版权
这篇博客介绍了Adam Barnett和Nigel P. Smart 2003年的论文《Mental Poker Revisited》，展示了如何使用Rust语言实现的一个轻量级Mental Poker游戏，它不依赖高阶2-adic性或配对友好椭圆曲线，适用于L2或SNARKs等不同场景。代码示例展示了游戏的运行过程和参与者的牌面结果。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

1. 引言

Adam Barnett 和 Nigel P. Smart 2003年论文《Mental Poker Revisited》。

相关代码实现见：

主要基于arkworks的库做了相应的实现。既不要求椭圆曲线是high 2-adicity of its scalar field，也不要求椭圆曲线是 pairing-friendly的。可用于不同场景，如L2或SNARKs。

$ cargo run --example round
    Finished dev [unoptimized + debuginfo] target(s) in 0.15s
     Running `target/debug/examples/round`
Andrija: 6♣
Kobi: Q♦
Nico: 3♦
Tom: 2♦
芒格的“mental models“在量子认知科学研究中的应用
AI天才研究院
03-18 690
本研究的主要目的是探索芒格的“mental models”在量子认知科学研究中的具体应用。“mental models”是查理·芒格提出的一种重要思维方式，它涵盖了多个学科的知识和思维模式，有助于人们更全面、深入地理解和解决问题。量子认知科学则是一门新兴的交叉学科，研究量子力学原理在认知过程中的应用。将两者结合起来，旨在挖掘新的研究视角和方法，为量子认知科学的发展提供新的思路，同时也拓展“mental models”的应用领域。
Mental-开源
04-27
Mental是一个专为教学设计的开源神经网络引擎，其简洁的Python实现和对前馈及反向传播网络的支持，使得它成为学习神经网络的理想工具。开源特性鼓励了社区参与，持续改进项目，进一步推动了人工智能教育的普及。通过...
Mental-Poker:SRA心理扑克算法的实现，用于玩点对点在线扑克的公平游戏
05-02
精神扑克 分布式算法（COMP90020）项目2017。 运行应用程序 执行以下命令将运行单元测试，编译并运行Mental Poker应用程序： > gradle -q run 源文件结构 . +-- src/ | +-- main/java/au/edu/unimelb/mentalpoker/ | | +-- algorithm/ | | +-- crypto/ | | +-- exceptions/ | | +-- net/ | | +-- poker/ | | +-- MentalPoker.java | | +-- PokerGame.java | +-- test/java/au/edu/unimelb/mentalpoker/ | +-- protos.proto +-- tests/ 源代码组织如下：
Mental Poker- Part 1
qq_34793644的博客
09-06 384
扑克是一种牌桌上的游戏，但如果在没有物理扑克的互联网上，没有一个可信第三方维护公平，且参与玩家皆是不诚实的，这个时候怎么来一场公平的扑克游戏？这个问题由Rivest, Shamir and Adleman于1979年提出，并将这个问题称为“Mental Poker”，下面是摘自原文的一段关于Mental Poker的描述：自此大量的解决方案涌现出来，但都不经打，主要因为这些方案计算和通信成本太大，这对于一个实时游戏来说是无法接受的。
Mental Poker- Part 2
最新发布
qq_34793644的博客
09-13 285
在part-1中，我们梳理了去中心纸牌游戏所面临的挑战，也介绍了一种改进的Barnett-Smart协议，part-2将深入了解该协议背后涉及的算法。
go-mental-poker:Go中的心理扑克示范
05-11
心理扑克算法评估 该项目对使用Go语言编写的SRA可交换加密的算法进行了评估。 这里有两个易于阅读的软件包： 是生成密钥并执行加密/解密的SRA实现，而是改组和卡绘制算法。 这不只是一个库，更是一个演示。 随意复制/重用任何代码或从中学习（MIT许可）。 设置GOPATH ，可以使用go get -u github.com/cretz/go-mental-poker/...获取代码和所有依赖项。 概述 SRA密钥是基于共享质数的两个数字，当一个值应用于一个值时，另一个可以用于“取消应用”（即分别进行加密和解密）。 它是可交换的，这意味着可以以任何顺序对一个值进行多种加密，以生成一个加密的值。 然后，可以按任何顺序对加密值进行抵消解密，并且原始值将成为结果。 智力扑克算法为完全不同的玩家提供了一种无需信任的第三方即可洗牌的方法。 然后，它仅允许通过玩家绘画来解密卡。 这是改组的工作方式：
snark:关系接口和这些关系的SNARK
05-14
贪食和关系特质 arkworks生态系统由Rust库组成，用于设计和使用零知识简洁非交互式参数（zkSNARKs） 。 该存储库包含描述zkSNARK的接口以及对其进行编程的接口的高效库。 该库是根据MIT许可证和Apache v2许可证发布的（请参见 ）。 警告：这是一个学术性的概念验证原型，尤其是没有经过仔细的代码审查。 此实现尚未准备好用于生产。 目录结构 该存储库包含两个Rust板条箱： ：为zkSNARK提供通用特征 ：为编程zkSNARK（例如R1CS）中使用的NP关系提供通用特征。 概述 该存储库提供了使用arkworks提供的简洁自变量系统的核心基础结构。 想要提出有关各种感兴趣问题的论据的用户将首先将这些问题简化为NP关系，在ark-relations板条箱中定义了各种示例。 然后，使用在该关系上定义的SNARK系统来生成简洁的参数。 ark-snark板条箱
SVGA.ZIP_mental health_svga_zip
09-22
标题“SVGA.ZIP_mental health_svga_zip”暗示了这个压缩包可能包含与精神健康相关的SVG（Super Video Graphics Array）...这样的项目对于学习汇编语言、图形编程以及了解计算机硬件与软件交互的人来说是宝贵的资源。
JVM.rar_Mental_jvm in action
09-24
JVM分享 Java Program in Action ——Java程序癿编译、加载不执行An implementation can be very different the “mental model”
Not a fair game, Dice2win公平性分析
Fly_鹏程万里
11-21 1000
Zhiniang Peng from Qihoo 360 Core Security Dice2win 目前是以太坊上一款异常火爆的区块链博彩游戏。号称“可证明公平的”Dice2win目前每日有近千以太(一百五十万人民币)的下注额，是总交易量仅次于etheroll的第二大以太坊博彩游戏。然而我们分析发现，dice2win中的所有游戏都存在公平性漏洞，庄家可以利用这些漏洞操纵游戏结果。 Dice...
Mina Berkeley QANet测试网zkApp初体验
热门推荐
mutourend2010@gmail.com
03-28 3万+
1. 引言 Ubuntu 18.04： $ echo "deb [trusted=yes] http://packages.o1test.net $(lsb_release -cs) unstable" | sudo tee /etc/apt/sources.list.d/mina-unstable.list $ sudo apt-get update # 安装Mina daemon $ sudo apt-get install -y mina-berkeley=1.3.0beta1-release-2.
zk-SNARKs的原理简介
mutourend2010@gmail.com
01-28 8401
【主要参看了 V神博客 An approximate introduction to how zk-SNARKs are possible】 1. 引言 最近十年最强大的密码学技术可能就是： 通用简洁的零知识证明，又称为zk-SNARKs，全称为"zero knowledge succinct arguments of knowledge"。 所谓zk-SNARK，是指： 可为生成特定输出的计算提供相应的proof证明，使得验证proof的速度远远快于执行相应计算的速度。 而ZK (zero knowled
Private Set Intersection（PSI）
mutourend2010@gmail.com
01-21 5931
1. 引言 PSI为当前secure-party computing (MPC) 安全多方计算的一个应用热点。 随着人们越来越关注用户数据的隐私保护，需在保护隐私的前提下，充分利用用户信息。 Private Set Intersection（PSI）私有集合交集： 是一种安全的多方计算加密技术，它允许持有集合的两方比较这些集合的加密版本以计算交集。在这种情况下，除了交叉点中的元素之外，双方都没有向对方透露任何信息。 PSI目前常用于： 服务器-客户端方案，在该方案中，只有客户端了解其集合与服务器集合的交集
Mina概览
mutourend2010@gmail.com
03-09 5814
1. 引言 Mina致力于成为web3的隐私和安全层。 Mina为世界上最轻的区块链，其大小约为22KB，使得用户可快速直接地从其手机和其它链访问Mina的当前状态。 Mina主要特性有： 1）保护数据隐私：Mina的zkApp，其智能合约采用了零知识证明，可使用户控制其隐私，仅对外分享其data proof。 2）从其它链访问Mina：由于Mina的轻量化设计和Mina zkApp智能合约的链下计算特性。当前在致力于建立Mina和以太坊bridge。未来将构建更多不同链之间的trustless brid
zkSync 基本原理
mutourend2010@gmail.com
05-02 5358
1. 引言 zkSync为以太坊的扩容和隐私引擎，当前支持或即将支持的功能有： 当前支持 low gas transfers of ETH and ERC20 tokens in the Ethereum network。 计划在2021年，通过Zinc语言或者现有的Solidity语言，实现可编程的隐私智能合约。 对交易所友好，即将支持交易所协议的关键功能——Atomic swap：https://github.com/matter-labs/atomic-swaps 2. zkSync中的基本概念
Anoma——多方加密资产隐秘交换
mutourend2010@gmail.com
04-27 2663
1. 引言 参考资料 [1] Anoma Network Raises $6.75M to Make Exchanging Crypto Assets Easy and Private [2] 白皮书 Anoma: Undefining Money A protocol for private, asset-agnostic digital cash and n-party bartering [3] Introducing Anoma: A Blockchain for Private Asset-Agn
区块链世界的大数据入门之zkMapReduce简介
mutourend2010@gmail.com
06-11 2647
区块链世界的大数据入门之zkMapReduce简介
zkSync 概览
mutourend2010@gmail.com
04-28 2538
1. 引言 相关代码实现见： https://github.com/matter-labs/zksync 参考资料 [1] 以太坊扩容方案之zkRollup [2] zkSync Mainnet Block Explorer [3] Introducing zkSync: the missing link to mass adoption of Ethereum [4] zkSync project architecture [5] Introduction to zkSync for Develope
用零知识证明桥接多链宇宙
mutourend2010@gmail.com
10-05 2263
Bridge为通讯协议，用于链之间传输信息。基于ZKP来构建Bridge。
使用mental ray创建建筑场景日光渲染教程
在《mental ray渲染》教程中，你将学习如何利用这个强大的渲染引擎来提升建筑场景的真实感。首先，你需要了解如何使用日光系统来照亮场景。在教程中，你将通过以下步骤添加日光照明： 1. 打开提供的场景文件，该...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值