如何证明两个值是不同的？

文章/答案/技术大牛

发布

2回答

coq

我在Coq中寻找两个语句之间的差异的示例。true等于false，True不等于true。我不知道如何完成证明，如果有这样的表达。true <> true。

浏览 20提问于2020-07-08得票数 0

1回答

有没有办法证明这个哈斯码算法的例子会给出唯一的值？

hashtable、unique、hashcode

我在看，教授给出的例子是 return LETTERS * (word.charAt(0)-'a') + word.charAt(1) - 'a';} 有办法证明每个可能的单词都会映射到0到675之间的不同值？我已经证明了范围在0到675之间(给出"aa“和"zz&qu

浏览 0提问于2014-08-12得票数 0

回答已采纳

4回答

计算Minhash的证明

probability、hash-function、minhash

我正在阅读MinHash技术来估计两个集合之间的相似度:给定集合A和B，h是散列函数，hmin( S )是集合S的最小散列，即hmin(S)=s中s的min(h(S))。我们有这样的等式：这意味着A的最小散列等于B的最小散列的概率是A和B的Jaccard相似性。我试着证明上面的等式，并提

浏览 8提问于2013-04-03得票数 0

1回答

证明两幅灰度图像是否相同

image-processing、computer-vision、histogram

给定由两个矩阵表示的两个灰度图像，其中每个单元格表示像素值(如图中所示)。如何确定这两幅图像是否相同？在查看灰度值时，可以清楚地看到，第二个图像是第一个图像的旋转版本。但是否有数学证明或方法来证明呢？ My approach：我们可以为这两个图像创建直方图并进行匹配。如果它们不匹配，那么图像就不一样了。但问题是直方图不能显示图像的空间特征。可能有两幅具有相同直方图

浏览 4提问于2020-07-10得票数 0

回答已采纳

1回答

证明函数是如何证明的？

coq

如果有人能很好地解释在以下简单情况下如何使用验证函数，这将有助于我理解“程序/校对”的并行性：ex1 = fun (n : nat) (H : 7 * 5 < n) => H在验证过程中是否执行了验证函数如何使用它的返回值？说ex

浏览 1提问于2020-05-22得票数 1

回答已采纳

1回答

证明Pedersen承诺开放的问题

zero-knowledge-proofs、protocol-design、commitments

给定一个Pedersen承诺c = g^m h^r的开头D1，其中g, h是具有素数阶q (public)的群G的生成器，PPT验证者想向验证者证明在零知识中c的开度。让我们看看下面的程序。在这里，我们注意到G中的DLP是困难的。验证器检查是否为y \in G。如果是的话，验证器会向验证器发送一个随机的挑战e。但出于可靠性考虑，如果恶意验证程序提供

浏览 0提问于2020-06-08得票数 2

1回答

考虑到梅克尔树的安全性，"keccak256(abi.encode(_a ^ _b))“有什么问题？

security、cryptography、blockchain、ethereum、solidity

本文的初始版本有散列函数散列(a^b)。这是个坏主意，因为它意味着，如果您知道a和b的合法值，可以使用b‘=a^b^a来证明任何所需的a’值。使用此函数，您必须计算b‘，以便散列(a’)^散列(b‘)等于一个已知值(下一个分支在根目录中)，这要困难得多。我可以看到这个似乎是不安全的： return u

浏览 1提问于2022-09-01得票数 1

1回答

证明两个数字是不同的而不揭示它们

zero-knowledge-proofs

是否有一种方法可以检查$a \not = b$而不泄露关于$a$和$b$的任何信息(Alice必须不知道$b$，Bob必须不知道$a$)？

浏览 0提问于2018-02-19得票数 2

1回答

什么时候人们更喜欢知识的证明而不是零知识的证明？

zero-knowledge-proofs

我刚刚意识到很难区分这两个术语(知识证明和零知识证明)，特别是在许多密码协议中似乎只使用后者。零知识证明通常被定义为证明者设法向验证者证明一个给定的陈述是真实的方法，除了陈述是真实的之外，没有透露任何额外的信息。例如，假设我想证明我生成的一些密文的明文的知识，这样每个人都可以检查明文是否具有某种形式(例如，某个

浏览 0提问于2013-09-27得票数 21

回答已采纳

1回答

在匿名函数中简化表达式的简单方法？

coq

假设我需要证明如下所示：因为y不在环境中，所以看起来我不能在beq_nat x y上进行析构来简化右边的代码。有没有一种简单的方法来简化匿名函数中的表达式？除了能够使两个函数看起来相等之外，有没有一种方法可以通过证明两个函数在所有输入上产生相同的值来推断它们是</

浏览 1提问于2013-04-05得票数 0

回答已采纳

2回答

关于DL散列函数的证明

hash、discrete-logarithm

$$h(m) = g^m(\bmod p)$$，其中$p$是素数，如何证明它是单向函数和无碰撞的？$$h(m) = g^m(\bmod n) $$，其中$n=pq$对于两个不同的素数$p，q$，如何证明它是单向函数和无碰撞的？

浏览 0提问于2018-05-07得票数 -1

回答已采纳

1回答

验证释放伪影的深度

release-management

虽然这个问题可以以一种与供应商无关的方式提出--我将围绕Github和Azure为其提供一些背景信息。我正在计划一个开源项目，在一个敏感的商业领域(银行).因此，我认为下载和安装它的用户能够通过某种独立跟踪的“保管链”来验证二进制文件的来源是很重要的--将其追溯到CI进程使用的实际源代码标签。目前是如何做到这一点的？如果有的话？这方面是否有任何已知的机制/做法？我想象<e

浏览 0提问于2019-04-17得票数 4

1回答

如何计算两个浮点数列表的p值？

python、statistics

所以我有浮点数的列表。例如[1.33,2.555,3.2134,4.123123]等。这些列表是某事物的平均频率。我如何证明两个列表是不同的？我想过计算p值。有没有一个函数可以做到这一点？

浏览 3提问于2015-04-10得票数 15

回答已采纳

2回答

独立伪随机发生器

pseudo-random-generator

有两个不同值的伪随机数发生器(PRNG)，就足以证明我们现在有两个独立的PRNG了吗？还是我们必须使用两个功能不同的生成器来实现这一点？

浏览 0提问于2018-01-21得票数 4

回答已采纳

2回答

比较来自不同手机的两个timeStamps

java、android

我正在尝试使用System.currenttimeMillis()比较从两个不同应用程序获得的timeStamp值。我在同一时间间隔内在两个不同的智能手机上运行这些应用程序，这两个智能手机由同一公司制造，具有相同的服务运营商连接。我的困惑是，当我比较来自两个不同应用程序的这些timeStamped值，但使用相同的</em

浏览 0提问于2013-10-01得票数 0

4回答

如何证明Object.hashCode()可以为Java中的两个不同对象生成相同的哈希代码？

java、algorithm、collections、hashcode

据我所记得，我告诉他，Java契约说两个不同的对象“可能”具有相同的hashcode()，而不是它“必须”。据我的面试官说，默认的object.hashcode()永远不会为两个不同的对象返回相同的hashcode()，这是真的吗？甚至可以远程编写一段代码来演示这一点。据我所知，Object.hashcode()可以生成2^30的唯一值，如何产生冲突，而碰撞<e

浏览 6提问于2016-12-02得票数 9

回答已采纳

1回答

证明两个方程是等价的

neural-network

其中一项演习说：用于计算乙状结肠神经元的输出我真的很希望得到详细的解释。

浏览 0提问于2019-04-01得票数 0

回答已采纳

3回答

访问矩阵的多个线程

java、multithreading

示例代码，非常少的片段来表示我的怀疑： for(int i = 0; i < numberOfRows;i++){ } 我有两个独立的线程循环public void run(){ matrixClass.checkRow(2);

浏览 5提问于2014-11-12得票数 2

回答已采纳

1回答

为什么我在DB2 LUW和WebSphere应用服务器上得到SQLCODE=-204，SQLSTATE=42704？

java、database、db2、websphere

错误代码意味着找不到一个对象--几乎总是一个表，SQLERRMC参数的值包含有问题的对象的名称。在我能找到的所有其他情况中，解决方案只是需要用模式名限定表名。但是，正如您从上面的代码行中看到的那样，情况并非如此。模式是M51Dev，表是CUSTOMER，并且两者都存在。环境是在Windows Server2003 R2上运行的WebSphere应用服务器(在本例中是7.0.0.31，但我有点怀疑这是

浏览 1提问于2014-06-10得票数 12

回答已采纳

1回答

如何证明所承诺的值是其他值的平方

zero-knowledge-proofs

给定两个Pedersen承诺-- c_1=g^vh^{r_1}和c_2=g^{(v^2)}h^{r_2}，其中c_2中的提交值是c_1中承诺值的平方，是否有方法在零知识中证明这种关系？

浏览 0提问于2018-12-01得票数 5

点击加载更多