Succinct中文讯息
Subscribe
Sign in
Home
官方博客
社区贡献内容
About
Latest
Top
Succinct 和 Hibachi 正在构建 Endgame Exchange
Succinct 正处于“CLOB 战争”的前线——这场战争旨在重塑加密货币交易所的构建方式。我们的朋友 Hibachi 已经打响了第一枪。借助 Succinct 的零知识证明和 Celestia 上的加密数据,他们构建了一个速度极快的永久用户账户 (perps) 交易所,确保用户余额和仓位的隐私安全。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
Succinct 和 Hibachi 正在构建 Endgame Exchange
Copy link
Facebook
Email
Notes
More
Succinct 助力 ZK 旗舰 Katana 网络
Katana 是 DeFi 优先的全新 L2 层,旨在实现真正的收益和深度流动性。以 Succinct 的有效性证明为核心,Katana 将实现快速的最终确定性、强大的安全性以及与 Agglayer 的无缝互操作。零知识证明 (ZK) 即将成为主流。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
Succinct 助力 ZK 旗舰 Katana 网络
Copy link
Facebook
Email
Notes
More
利用 AntChain OpenLabs 对 SP1 进行 FPGA 加速
我们很高兴地宣布,我们与蚂蚁链 OpenLabs合作,为 SP1 开发 FPGA 加速。蚂蚁链是蚂蚁数字科技(由蚂蚁集团孵化)的子公司,也是中国跨国公司蚂蚁集团和阿里巴巴集团的子公司。蚂蚁链已成功利用 FPGA 实现 SP1 的性能,较 CPU 提升了 20 倍。他们将在 Succinct Prover…
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
利用 AntChain OpenLabs 对 SP1 进行 FPGA 加速
Copy link
Facebook
Email
Notes
More
Succinct的网络浏览器现已上线
今天,我们发布了全新版的 Succinct Prover Network 浏览器。您可以浏览证明、发现趋势并追踪网络中的证明者。新版浏览器设计精美,海量信息触手可及,让您比以往更轻松地了解网络动态。接下来几周,我们将在测试网的 2.5 阶段引入证明者。敬请关注浏览器的上线和后续公告!
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
Succinct的网络浏览器现已上线
Copy link
Facebook
Email
Notes
More
使用 Lean 形式化验证 SP1 的正确性
今天,我们与Nethermind合作分享了 对 SP1正确性进行正式验证的进展,Nethermind 是形式化方法方面的专家,重点致力于增强零知识证明的安全性。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
使用 Lean 形式化验证 SP1 的正确性
Copy link
Facebook
Email
Notes
More
SP1 Hypercube:实时证明以太坊
我们非常高兴地推出 SP1 Hypercube,这是我们的下一代 zkVM,它能够为以太坊提供实时证明。SP1 Hypercube 采用全新的多线性多项式架构的证明系统,从零开始构建。它在延迟和成本方面达到了最佳水平,比 SP1 Turbo 的性能提高了 5 倍,并且 能够在 12 秒内证明超过 93…
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
SP1 Hypercube:实时证明以太坊
Copy link
Facebook
Email
Notes
More
Succinct网络架构和 $PROVE 代币简介
Succinct 正在以太坊上构建一个协议,用于协调分布式证明者网络,为任何软件生成零知识证明。该协议在证明者和请求者之间创建了一个双边市场,使任何人都可以接收区块链、桥梁、AI 代理、游戏等应用的证明。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
Succinct网络架构和 $PROVE 代币简介
Copy link
Facebook
Email
Notes
More
使用 Picus 对 SP1 进行形式验证
今天,我们很高兴地分享 SP1 形式化验证工作的进展情况,这项工作由我们与零知识安全审计领域的领先公司 Veridise合作开发。形式化验证在建立 SP1 行为的数学保证方面发挥着至关重要的作用。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
使用 Picus 对 SP1 进行形式验证
Copy link
Facebook
Email
Notes
More
Succinct 测试网第二阶段现已上线
我们宣布第二阶段:与我们一起证明 (Prove with Us),这是简洁证明者网络 (Succinct Prover Network) 路线图的下一步。第一阶段发布取得了巨大成功,它教育了我们的社区,并通过引人入胜的游戏吸引了数千人加入…
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
Succinct 测试网第二阶段现已上线
Copy link
Facebook
Email
Notes
More
SP1 已为比特币做好准备:比特币的 ZK 时代已经开始
Succinct 和 BitVM 正在为比特币原生零知识证明验证提供支持。数字黄金比以往任何时候都更具可编程性和可扩展性。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
SP1 已为比特币做好准备:比特币的 ZK 时代已经开始
Copy link
Facebook
Email
Notes
More
vApps:互联网规模的可验证应用程序
我们与LayerZero合作,推出了一种名为 vApps(可验证应用程序)的全新开发范式。vApps 让您能够构建应用程序,为用户提供 Web3 级别的安全性和透明度,同时又能提供熟悉的 Web2 开发体验。我们知道,dApp 开发者已经厌倦了目前面临的种种限制。他们被迫使用 Solidity…
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
vApps:互联网规模的可验证应用程序
Copy link
Facebook
Email
Notes
More
Succinct 将 120 条 Cosmos 链与以太坊连接起来
上周,Interchain Labs 发布了IBC Eureka : IBC v2的正式部署,同时也是 Cosmos 与以太坊之间的规范桥。IBC Eureka 的以太坊桥由 Succinct Prover Network 和 SP1 提供支持,从而通过零知识证明实现经济实惠的 IBC 交易。
Jun 18
•
人在币圈
Share this post
Succinct中文讯息
Succinct 将 120 条 Cosmos 链与以太坊连接起来
Copy link
Facebook
Email
Notes
More
Share
Copy link
Facebook
Email
Notes
More
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts