区块链网络消息，安比实验室发布 NEST 3.0 的智能合约安全审计报告，据报告显示，NEST 3.0 未包含致命安全漏洞，而其余相关的优化建议项也已全部修复。NEST 3.0 已于今日上线，预言机正式对外开放调用，同时新增 nToken 系统，支持任意 ERC20 Token/ETH 的价格预言机，并新增投票系统，支持 NEST Protocol 去中...
知识:以太坊,审计,DeFi,预言机,安比实验室,Nest
...个项目在上线前的必经步骤。acBTC的审计方为区块链知名机构安比（SECBIT）实验室。安比实验室按照严格的标准，从合约的技术实现、业务逻辑、接口规范、Gas优化、发行风险等维度对acBTC的合约代码进行审计，通过形式化验证、语义分析等工具进行扫描检测，对acBTC进行了21项审计，并出具了明晰的审...
知识:智能合约,合约,代币,区块链
原文标题：《从零开始学习 zk-SNARK（五）——Pinocchio 协议》原文来源：安比实验室 作者：Maksym Petkus导读even@ 安比实验室: 作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议。作者：Maksym Petkus翻译 & 注解：even@ 安比实验室（[email protected]）校对：valuka@ 安比...
知识:zk-SNARK,零知识证明,Pinocchio
...文标题：《从零开始学习 zk-SNARK（四）——多项式的约束》原文来源： 安比实验室 作者：Maksym Petkus导读even@ 安比实验室: 上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。作者：Maksym Petkus翻译 & 注解：even@ ...
知识:零知识证明,zk-SNARK
NEST 社区开发者 YolkLi 分享 DeFi 开发中需要注意的安全问题，安比实验室郭宇聊到智能合约安全的形式化验证。</blockquote>原文标题：《Math Show #007 - 深入浅出，如何确保你的 DeFi 资金安全》 整理：Math Show6 月 23 日晚 7 点，麦子钱包举办了 Math Show 的第 7 期，有幸邀请了NEST 社区开发者 YolkLi 和 安比实验室 ...
知识:以太坊,安全,智能合约,DeFi,预言机,形式化验证,
...公链还存在哪些安全漏洞？针对近期公链被盗事件，互链脉搏邀请到了安比实验室创始人郭宇博士、墨子安全实验室主任、墨客区块链公司首席安全官苗知秋博士以及慢雾科技团队展开专业探讨，破局国产公链安全隐患。采访嘉宾简介：郭宇博士，安比实验室创始人，曾在中国科技大学教学计算机科学...
知识:公链,唯链,代币,数字资产
...开始学习 zk-SNARK（二）——多项式的非交互式零知识证明》原文来源：安比实验室 作者：Maksym Petkus导读上一篇文章（多项式的性质与证明）中，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针...
知识:零知识证明,zk-SNARK
...《从零开始学习 zk-SNARK（三）——从程序到多项式的构造》原文来源：安比实验室 作者：Maksym Petkus导读even@ 安比实验室: 前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式...
知识:零知识证明,zk-SNARK
...重点：KEA，交互式零知识证明，非交互式零知识证明和 Setup。—— even@安比实验室作者：Maksym Petkus翻译 & 注解：even@安比实验室（[email protected]）校对：valuka@安比实验室本系列文章已获作者中文翻译授权。限制多项式上文说到，多项式的知识其实就是它的系数 c0, c1, …, ci 的知识。协议中我们是通过对秘...
知识:多项式,链上,知识,参与者
...身份隐私、共享数据、链下数据存储完整性等。</blockquote>原文标题：《安比实验室郭宇：当深度神经网络遇上零知识证明》演讲：郭宇，安比实验室创始人本文为万向区块链蜂巢学院线上公开课第二十九期的分享内容。本期邀请了安比（SECBIT）实验室创始人郭宇，带来分享《当深度神经网络遇上零知识...
知识:零知识证明,隐私保护,密码学
...保川院长、苏科大电子与信息工程学院陆悠教授、中国科技大学副教授 安比实验室创始人郭宇博士、苏科大电子与信息工程学院教授奚雪峰先生等参加了此次会议，由计算机系主任陆悠教授主持。会议主题围绕：基于苏州科技大学电子学院智慧城市研究院及苏州和数区块链研究院的研究基础，就区块链...
知识:区块链技术,区块链,区块链技术标准,区块链技术
...知识证明和 ZK rollup 扩展方案都做了简洁的介绍。本译稿的校对得到了安比实验室的大力支持，他们对原报告解释不足及有所疏漏的地方做了相当多的说明（后文括号以 “安比按” 开头的文段即他们补充的内容）。在此对他们致以诚挚的谢意。1. 引言1.1 可扩展性问题你可能已经很了解区块链的历史了...
知识:链上,区块链的,区块,比特币
...知识证明和 ZK rollup 扩展方案都做了简洁的介绍。本译稿的校对得到了安比实验室的大力支持，他们对原报告解释不足及有所疏漏的地方做了相当多的说明（后文括号以 “安比按” 开头的文段即他们补充的内容）。在此对他们致以诚挚的谢意。 1. 引言 1.1 可扩展性问题 你可能已经很了解区块链的历史...
知识:区块链扩容,以太坊,零知识证明
...：《从零开始学习 zk-SNARK（一）——多项式的性质与证明》原文来源： 安比实验室 作者：Maksym Petkus导读17 年最早接触 zk-SNARK 开始，就断断续续得学习了一些 zk-SNARK 的知识，但对其原理始终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项...
知识:零知识证明,zk-SNARKs,zk-SNARK
...识证明与区块链扩展（上）》 撰文：EthWorks 翻译 & 校对：闵敏 & 安比实验室本文为 EthWorks 撰写的一份关于零知识证明和区块链扩展方案关系的报告；对可扩展性问题、零知识证明和 ZK Rollup 扩展方案都做了简洁的介绍。本译稿的校对得到了安比实验室的大力支持，他们对原报告解释不足及有所疏...
知识:比特币,以太坊,零知识证明,Layer 2,ZK Rollu