司法证明

摘要： 审查批捕虽然是审前程序,但也存在司法证明,检察机关需要依据证据材料来认定每一逮捕要件。实证研究表明,逮捕要件证明呈现出事实要件的证明较为严格、刑罚要件的证明宽严不一、必要性要件的证明较为自由的特点。实践中主要存在证明逻辑不够清晰、刑罚要件证明不够严格、必要性要件证明不够规范的问题,催生了捕后判处轻刑的情况比较常见、社会危险性的认定较为随意等现象。立足实践情况,结合域外经验,应当坚持对事实要件的严格证明,同时完善证明规则,加强证据供给,改革约束机制,促进逮捕要件证明的规范化,进一步降低审前羁押率。

摘要： “孤证不能定案”作为我国重要的司法证明规则,其强调不能仅凭证据来源单一或数量单一的实质证据认定案件的定罪事实,该规则的理论型塑是基于认知论的原理和我国证据法理论的影响。但该规则在司法实践中出现了悖离规范目的、不当适用的情况,包括“孤证”内涵的不当扩张并侵害无罪推定原则,规则的僵化适用导致印证的“形式化”,过度强调该规则而对证据的收集、适用产生了负面影响。产生这些问题的原因在于我国传统司法证明理念和方式并不契合刑事诉讼事实认定机制、该规则规范结构存在局限性以及我国证据法程序性基础的支撑不足。对此应从树立“主客观平衡”的证明理念出发,完善该规则的适用原则和范围、确立以“实质证据+若干辅助证据”“实质证据+其他证明手段”的定案方式、强化诉讼程序对该规则适用的程序性支撑等三个维度进行纠偏。

摘要： 《刑法修正案(十一)》通过删除“明知”“协助”,确立了洗钱罪“自洗钱”和“他洗钱”的二元结构,此举不仅未改变洗钱罪主观方面仍为故意的事实,而且为间接故意构成洗钱罪预设了刑法解释学之法律空间,况且根据目的犯之要义及修正案之旨趣,修订后的洗钱罪亦不是目的犯。刑事司法证明机制在洗钱罪主观要素既有困境基础上尚需面向新的境遇,一方面,“自洗钱”主观明知“不证自明”之特征,难以脱离刑事司法证明机制而被直接认定。为之,可设置“司法型法律拟制”“司法型免证事实”构筑多样化的证明机制。另一方面,“他洗钱”主观明知移位“推定知道”,应在遵循推定共识的基础上,遵循末位适用规则、禁止重复性推定规则及完善释法说理制度,以规范“他洗钱”主观明知之推定。

摘要： 在实事求是和客观真实理念的深刻影响下,审判机关和检察机关将印证作为主导的证据分析方法规定于司法解释文件中,我国刑事印证规则体系也由此确立.近年来,刑事认证活动出现了机械印证、强行印证等失范现象,亟待引入新的认证方法以作调和.在域外证据法理论中,存在着原子主义与整体主义两种证据分析路径理论.其中,前者推崇离散式、客观理性的认证思路,后者则偏好综观式、主观能动的认证思路,并对应衍生出图示法和叙事法两种证据分析方法.着眼于裁判者的思考过程,原子主义与整体主义并非对立选项,而是处于解释学循环体的两端,并在实践中日趋融合.就此而言,我国审判机关应当秉持“以我为主,为我所用”的移植原则,充分吸收原子主义、整体主义认证思路中的合理之处,通过引入图示法、叙事法等认证方法,并辅之以裁判文书说理制度,推动刑事认证活动朝科学化方向发展.

摘要： 在我国,控诉方查证案件事实时适用概率理论较为常见,且该种材料在审判中也常被积极采纳。而与此相反,辩护方将其作为一种自行辩护的方式却少之又少。为维持与控诉方之间的动态诉讼平衡,辩护方需要探索并采取相应的辩护新手段。2016年周文斌案将“概率辩护”正式带入庭审,为辩护注入活力。但“概率辩护”本身存在诸多问题,如权重分配及赋值合理性存疑、概率计算公式选择错误与滥用、无法量化的价值判断等。在人工智能、算法等暗含概率理论的技术成为司法发展新趋势的背景下,辩护方对概率的运用也将成为必然。因此,对实践中存在的欠缺可以通过明确概率性辩护材料的辅助决策地位、提升审判人员的知识储备与专业素养、强化辩护方解释说明义务与审判方裁判说理回应制度等举措予以规制,从而真正达到实现辩护效果,准确认定案件事实的目的。

摘要： 证明对象海量化以及证据与罪量的证明关系发生变化,使得在打击网络黑灰产犯罪时,对其罪量的司法证明问题成为当前的最大难题.现有罪量司法证明应对方案没有给予中国司法实践中的经验事实以足够关注.在对现有方案检讨的基础上,通过对有关两高指导性案例、《最高人民法院公报》《刑事审判参考》及相关典型案例的系统梳理发现,对于网络黑灰产犯罪罪量的司法证明,我国司法机关业已形成了一套证明方法,其分为三个环节:公诉方基于综合认定得出推定数量;辩护方针对推定数量承担证明责任;公诉方对反驳进一步承担证明责任.

摘要： 为了深入认识司法证明的性质并对其操作性规则进行更为合理的改革,西方法学理论家们对各种司法证明的概念化理论进行了研究.相对似真性理论,是在反思原子主义进路的司法证明概念化理论—概率论的基础上,基于解释性观念和整体主义提出的新的替代性理论.它源于古希腊时期的似真性理念,在近现代的自然科学和社会科学研究领域逐渐发展为关于真实的证成方案.相对似真性理论从相对性和似真性两个方面解释司法证明实体,并且明显地塑造着司法证明的结构设计、主体行动与价值追求.在我国以审判为中心的刑事诉讼制度改革中,似真性理论为刑事诉讼追求的"真实"提供了新的认知和判断标准,统一了对刑事诉讼证明标准的理解,强调了主体性因素在司法证明中贯穿始终的影响,缓和了司法证明多元价值目标间的张力,为我国的司法改革和证据制度建设提供了新的思考视角和理论支持.

摘要： 实质化的刑事庭审活动,旨在充分保障被告人辩护权的基础上,做到法庭调查(司法证明)实质化、法庭辩论(控辩对抗)实质化,从而确保法官的心证通过听庭形成,裁判结果依据庭审情况作出。立足“庭审实质化”的要旨,可以归纳出检察机关行使公诉权,做好出庭公诉工作的应有之义。

摘要： 远见务实创新进取Foresight Pragmatism Innovation Enterprise北京市中信公证处(原北京市西城第二公证处)成立于一九九五年,是经司法部批准成立并经北京市司法局注册合格的国家司法证明机构。2007年8月正式更名为北京市中信公证处。今天的北京市中信公证处位于首都金融中心—西城区金融街,办公面积达到4700多平方米,现有执业公证员52人,业务辅助人员110余人,其中执业公证员本科及以上学历达到100%,研究生及以上学历占40%.

摘要： 在网络侵犯著作权刑事案件中,复制发行的认定、未经许可的认定和涉案数额的认定是三个难点问题.复制发行的认定可以通过委托鉴定的方式,证明被告人客观上实施了复制发行的行为,并为提取侵权作品提供合法性依据.未经许可的证明可以采取"三步审查"的证明方式,在"排除合理怀疑"的前提下,灵活、综合地研判证据.这类案件中的网站运营费用可以认定为非法经营数额,在选择量刑标准时,须兼顾量刑标准竞合问题.

摘要： 调研表明,近年来公安机关刑事立案侦查的污染环境案件只有少量进入法院审理阶段.出现上述污染环境行为较难定罪的主要原因在于,侦查机关或公诉机关对污染环境罪的入罪标准与证明标准的把握并没有因近年来环境刑事政策的调整而显著降低,污染环境罪的司法证明受到刑法所确定的入罪标准与刑事诉讼法所确定的证明标准的双重约束.在生态文明建设过程中,尚需在严格适用刑法与刑事诉讼法的基础上,加强污染环境犯罪证明路径的创新,适度调校证明机制,增强刑事司法的证明能力,努力实现打击犯罪与保障人权双重价值的均衡.

摘要： 美国证据学大师、西北大学教授威格莫尔提出了学生在学习证据规则之前必修的事实分析和逻辑学的一整套课程设计，并将他的经典著作《证明的科学》一书作为课程的教材。本文介绍了威格莫尔图式的概述，阐述了威格莫尔图式的特征，分析了威格莫尔图式的功能和缺陷，提出威格莫尔图式的新发展，列举了威格莫尔图式的运用实例。

摘要： 推定是证明的重要方法之一,亦是证明领域一个复杂的问题.推定问题的复杂与推定概念使用上的混乱不无关系.然而,为推定界定绝对定义的不可能性并不能解除明晰推定概念的必要性.厘定推定的概念是探讨推定问题的起点,更是引领对推定问题的研究走向全面和深入的关键.

摘要： 推定是证明的重要方法之一,亦是证明领域一个复杂的问题.推定问题的复杂与推定概念使用上的混乱不无关系.然而,为推定界定绝对定义的不可能性并不能解除明晰推定概念的必要性.厘定推定的概念是探讨推定问题的起点,更是引领对推定问题的研究走向全面和深入的关键.

摘要： 推定是证明的重要方法之一,亦是证明领域一个复杂的问题.推定问题的复杂与推定概念使用上的混乱不无关系.然而,为推定界定绝对定义的不可能性并不能解除明晰推定概念的必要性.厘定推定的概念是探讨推定问题的起点,更是引领对推定问题的研究走向全面和深入的关键.

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

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

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