刑事证明标准

摘要： 人工智能在智慧法院建设中扮演重要角色,在刑事司法领域中也得到了有效的应用,其主要应用模式分为证据辅助判断模式、专家机器人模式和智能办案辅助模式。但司法实践中,人工智能对刑事证明标准的判断出现了诸多问题。如,人工智能本身技术局限带来判断方式僵硬化、算法黑箱导致的安全性问题、算法自带偏见和司法工作人员过渡依赖造成的自由裁量权受限问题以及产生判断事故后,责任如何归属。针对上述问题,实践中可以成立专门的算法监督机构解决算法黑箱问题,通过立法确立人工智能辅助地位,确立司法人员的主体地位,明确事故责任归属主体,加强司法人员关于人工智能的理论素养。做到这些,才能给人工智能在刑事司法领域中的发展,提供健康的生长土壤。

摘要： 通说认为,在刑事诉讼中英美法系的证明标准是排除合理怀疑,大陆法系的证明标准是内心确信.前者是一种证伪标准,后者是一种证实标准.基于科学逻辑中证伪与证实难易程度的不同,似乎表明证明标准是两大法系无罪判决率殊同的原因.但是,通过证明标准模型的比较分析,英美法系的"搭积木模型"与大陆法系的"准拔河模型"虽然形式不同,但是实质相同,证明标准不是影响两大法系无罪判决率的因素.

摘要： 随着刑事司法理论的发展,为保证定罪证明在形式与实质上的双重充分性,刑事证明标准逐渐吸收主观性标准形成了主客观相互配合的证明标准体系.在我国刑事证明标准的层次化构建中,由于受到广义刑事证明观与狭义刑事证明观的双重影响,阶段论者出现了观念上的暗自革转以及对客观性证明要求的忽视.由于我国立法本就暗含了主客观相结合的二元标准,一方面为摆脱后果主义的影响,避免因主观标准的外化不能而失去证明标准应有的指导意义;另一方面为避免将我国的刑事证明标准推向消极法定主义.刑事证明标准的层次化构建应当落脚于主客观相结合的二层次构建之上,并根据审查内容的不同选择不同的证明方法.

摘要： 随着我国经济的发展,带来的是日益严峻的环境问题。重大环境污染案件层出不穷,而环境污染刑事司法对此却反映寥寥。其原因在于环境污染案件周期长、成因多等造成实践中取证困难,难以达到刑事案件的证明标准,造成实践中''以罚代刑''问题突出。为有效破解环境污染案件在刑事方面的困境,贯彻从严惩处环境污染犯罪的精神,笔者拟在环境污染刑事案件领域对刑事案件的证明标准进行探讨,并借鉴国外环境污染犯罪证明标准的相关理论与实践提出自己的看法。

摘要： 本文介绍了国外关于刑事证明标准的两种理论，并对我国“客观真实说”刑事证明标准提出了质疑，要求重新确立我国的刑事证明标准。

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的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数据的完整性，进而延长了芯片的使用寿命。

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

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