问题范围：技术概念不等于个人观点
提供的材料分别介绍智能合约安全和比特币区块链结构，能够说明一些常见风险机制，但没有收录曾博的发言或身份背景。因此，“曾博谈区块链风险涉及哪些技术概念”在这里作为检索主题处理：以下归纳的是材料支持的通用知识，不代表曾博曾提出这些说法，也不用于评估某个具体项目。
智能合约：权限、状态与不可轻易修改
智能合约是在区块链环境中执行的程序。合约可能管理数据或资产，公开部署后，外部账户或其他合约可以调用对外开放的函数。若敏感操作缺少适当的访问控制，未经授权的调用就可能改变合约状态或执行不应发生的操作。
常见的防护概念包括所有者权限、基于角色的权限控制和多签管理。它们用于限制谁能执行特定操作；采用其中任何一种机制，都需要结合权限配置、密钥管理和具体业务逻辑评估风险。材料同时指出，已部署合约通常不容易直接修改以修补缺陷。因此，代码设计、测试和部署前审查尤为重要，但这不意味着所有合约都绝对不可升级，具体能力取决于合约设计。
测试、静态分析与形式化验证
单元测试可以检查特定函数在预设输入下是否符合预期，但测试结果受测试用例覆盖范围限制，未覆盖的边界条件仍可能隐藏问题。静态分析关注程序结构和可能的执行路径；动态分析可以通过不同输入运行程序，以发现违反预设安全性质的行为。模糊测试是动态测试的一种思路，会用多样或随机输入探索异常情况。
形式化验证则尝试把安全要求写成明确规格，并证明相应程序模型是否满足这些要求。独立审计和外部代码复核可以补充开发团队的检查，但不能保证发现全部缺陷。它们适用的条件和能力不同，通常需要与设计审查、测试及持续维护配合，而不是被视作单独的安全保证。
区块结构：哈希、默克尔树与交易关联
比特币区块链资料介绍了哈希链接和默克尔树。区块头包含前一区块头的哈希，使区块按顺序关联；交易哈希再逐层组合，形成默克尔根并写入区块头。若交易数据改变，相关哈希也会改变，因此修改历史记录需要面对后续区块的关联结构。
这些结构有助于检查数据完整性和交易包含关系，但哈希并非对所有风险的通用解决方案。它不能自动修复合约逻辑缺陷，也不意味着任何历史记录在所有条件下都不可能被重组。理解其作用时，应区分数据完整性机制与应用程序安全。
UTXO、双重支付与工作量证明
比特币交易采用输入和输出关联的模型：交易输入引用先前交易中尚未花费的输出，即UTXO；同一输出只能被有效花费一次。节点依照共识规则验证交易，从而拒绝重复花费同一输出的交易。这些概念解释了比特币如何组织支付记录，但不能直接等同于账户式智能合约的内部状态模型。
工作量证明要求区块满足由目标值设定的计算条件。它使试图改写既有区块的一方需要重新完成相关工作；随着后续区块累积，改写历史所需的工作通常也会增加。若矿工近乎同时产生区块，可能短暂出现分叉；网络节点之后依据有效链的累计工作等规则收敛。该机制提高篡改成本，但不应被表述为绝对消除攻击可能性。
适用条件与常见问题
这些概念涉及不同层次：权限控制和程序测试主要针对智能合约；哈希、UTXO、工作量证明和分叉主要用于理解区块链数据结构及比特币共识。它们适用于解释一般技术原理，不能据此断定某一项目已经存在漏洞、遭受攻击或具备某种安全水平。
常见问题是“经过审计是否就安全？”答案是否定的：审计能增加发现问题的机会，但不能证明不存在所有缺陷。“区块链记录不可篡改是否代表资产不会丢失？”也不是。底层记录的完整性与合约权限、程序逻辑、密钥控制等风险属于不同问题，需要分别理解。