科学证明

摘要： 英国社会心理学家罗宾·邓巴认为,朋友群规模和群体大小具有一定关联性,一个人至多会跟150人产生有意义的关系。150个朋友也被称作“邓巴数字”,而能进入这个数字范畴的人都与主体有明显的思维相似性。社交网络的兴起为研究朋友间的相似性关系提供了更便捷的渠道,但要区分“评论之交”“点赞之交”和更深层次的友谊,并不容易。因此研究人员还是从现实的社交圈子入手。

摘要： 俗话说:物以类聚,人以群分。朋友之间总能找出各式各样的相似点,有的是三观,有的是审美,即使是酒肉朋友也要口味一致才能一起吃喝。然而,科学家发现,人们对友谊的根基认识得还不够深入,科学研究正在不断发现朋友间的相似点。

摘要： 似乎人人都知道π是圆周率,是一个被科学证明了的无理数。然而,最近人们又发现了一个超越π的神秘数字4.6692……这个被学术界认定的、与“混沌现象”有关的常数也被称为费根鲍姆常数。它像圆周率一样,充满着神秘和未知。四十多年前,痴迷数学研究的物理学博士费根鲍姆放弃了做粒子物理学家的“主流”工作,跳槽到洛斯阿拉莫斯国家实验室当起了小助手。

摘要： 马赛。在旧游艇码头东侧的入海口附近，有一家名叫“芳芳”的家起餐厅。有一只黑色的大牧羊犬躺在门口。那只狗绝对不会咬人。据说是因为“它平时只吃鱼”。“无论人还是动物。一旦吃了肉，就会变得狰狞凶猛；吃鱼就会变得比较温驯。”这并不是经过科学证明的结论，而是“芳芳”的服务员的个人意见。

摘要： 线有曲直之分,由于日常经验,一方面会将直线"看成"弯曲的;另一方面,理性思维又将我们拉回现实——曲线是错误的,线是直的.而线的曲直不能以感觉来区分,需要科学去证明,通过数学推理,不仅解释了直线"变曲"的原因,同时确定了在何种情况下,曲直会被看错.最终收获的,除了真实的曲直,还有追求真理的科学态度,不断思索的进取精神.

摘要： 愉快的接吻已被科学证明能有效稳定心血管、调理血压、降低胆固醇，但同时，医学统计显示，每一次接吻，有超过270种不同的细菌经由一方的口腔进入对方口腔。虽然其中超过95％的细菌对口腔健康无碍，但个别人会对对方口腔中的细菌缺乏抵抗力，导致患病。因此，在深情一吻前，要熟知亲吻利弊。

摘要： 俗话说：物以类聚,人以群分。朋友之间,总能找出各式各样的相似点来。有的是三观。有的是审美,即使成为酒肉朋友,也要口味一致才能一起吃喝。然而,人们对友谊的根基还认识得不够深入,科学研究仍在不断地发现朋友间的相似点。

摘要： 朋友之间,总能找出各式各样的相似点来,有的是三观,有的是审美,即使是酒肉朋友,也要口味一致才能—起吃喝。

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的GPS卫星10；提供地球上的气象信息的气象卫星20；保安巡查时携带的信息处理设备30；证明时刻信息和位置信息的证明书发行服务器40；保管经证明的位置信息和时刻信息及添加这些信息的映像的信息保管服务器50；验证拍摄映像的地点和时刻的验证装置60；将信息处理设备30、证明书发行服务器40、信息保管服务器50和验证装置60等相互连接的网络70。

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的DAG数据；外部DAG处理单元，用于将所述DAG数据保存至存储单元；存储单元，用于保存DAG数据；计算单元，用于根据所述保存的DAG数据进行工作量证明运算。本公开实施例通过由上位机将DAG数据发送给工作量证明芯片进行处理，工作量证明芯片无需保存Cache数据，从而有足够的空间保证DAG数据的完整性，进而延长了芯片的使用寿命。

摘要： 本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。

摘要： 本发明实施例公开了一种可信状态证明的方法和相关设备，用于降低证明服务器进行可信状态证明的过程中需要处理的信息量以及证明服务器的负担。本发明实施例方法包括：首先，对该网络设备的第一可信证明代理进行度量以获取第一代理度量值；随后，向该上游设备发送该第一代理度量值；最后，接收来自该上游设备的至少一个基线值，该至少一个基线值中的至少部分基线值用于证明该下游网络设备的可信状态。

摘要： 本申请涉及零知识证明的技术领域，尤其是涉及一种用于零知识证明的证明方法、系统、电子设备和计算机可读存储介质。通过本申请，当存在尚未被FFT计算处理的R1CS子数据时，基于R1CS子数据，使用GPU进行FFT计算处理，得到R1CS子数据对应的多项式数据；以及基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到R1CS子数据对应的证明分量。当所有的R1CS子数据均已被FFT计算处理时，基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU和GPU并行进行MultiExp计算处理，得到R1CS子数据对应的证明分量；最后基于R1CS数据中所有的R1CS子数据对应的证明分量，生成证明。本申请能够加快零知识证明的生成。

摘要： 本申请公开了一种基于零知识证明的100％资产准备金证明方法及证明装置，利用了零知识证明，证明平台对所宣示资产的所有权的合法性。本技术基于零知识证明的100％资产准备金证明方法旨在提高资产所有人和资产管理平台之间的信任，让资产所有人的资产不被随意挪用，让资产管理平台能自证清白。基于该方法，资产管理平台可以向所有的平台用户证明，平台的准备金率不低于100％，证明平台拥有的数字资产大于所有用户资产的总额；所有用户都可以采用本技术流程进行资产验证，所有用户都能确认自己的资产数目在平台公布的储备资产数据中，没有任何用户提出资产数据被重复验证或者伪造。

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的GPS卫星10；提供地球上的气象信息的气象卫星20；保安巡查时携带的信息处理设备30；证明时刻信息和位置信息的证明书发行服务器40；保管经证明的位置信息和时刻信息及添加这些信息的映像的信息保管服务器50；验证拍摄映像的地点和时刻的验证装置60；将信息处理设备30、证明书发行服务器40、信息保管服务器50和验证装置60等相互连接的网络70。

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的DAG数据；外部DAG处理单元，用于将所述DAG数据保存至存储单元；存储单元，用于保存DAG数据；计算单元，用于根据所述保存的DAG数据进行工作量证明运算。本公开实施例通过由上位机将DAG数据发送给工作量证明芯片进行处理，工作量证明芯片无需保存Cache数据，从而有足够的空间保证DAG数据的完整性，进而延长了芯片的使用寿命。

摘要： 本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。

摘要： 本发明提供了一种证明数据处理系统与方法，在该证明数据处理方法中，多个电子签章在一时间区间内被接收，其中各该电子签章是分别根据一电子凭证的一私钥对一原始数据进行处理及加密所生成。在该证明数据处理方法中，在该时间区间之后，一梅克尔树根据该多个电子签章被产生，且针对各该电子签章的一令牌被产生。各该令牌记录着该梅克尔树的一梅克尔根、各该电子签章、各该电子签章所对应的电子凭证、对应各该电子签章的一梅克尔证明、以及时戳集合。