专题研究N：2025年融资区块链项目研目Antithesis

按：融资的项目作一个专题研究：1、融资了，说明得到资本界看好，可能是一个好的方向和项目；2、通过研究它们，可以了解外界或圈内人对这个行业的判断，是一种研究区块链发展趋势的捷径和正确的路；3、之前的区块链人物、项目系列研究也基本是追一些热点或按版块研究，已有1000期；基本也将常见的项目和区块链人物研究的差不多；正好可以告一段落（前期落下的一些已计划的还要继续，在1000期以内）；4、基于推特是目前区块链信息最集中和更新快的平台，还依托于此来研究相应的融资项目。5、2024年2月份，硬盘损坏；前期约有3600期（已发布约2000期）资料丢失；现未再续编号。

以太坊网络使用的测试工具Antithesis完成1.05亿美元A轮融资，Jane Street领投
PANews 12月3日消息，据CoinDesk报道，专注于分布式系统压力测试的初创公司Antithesis完成1.05亿美元A轮融资。本轮融资由Jane Street领投，Amplify Venture Partners、Spark Capital、Tamarack Global、First In Ventures、Teamworthy Ventures和Hyperion Capital等机构，以及Patrick Collison、Dwarkesh Patel、Sholto Douglas等个人投资者参投。新资金将用于扩大工程团队规模、提升自动化水平以及拓展全球市场渠道。据介绍，该公司采用确定性模拟测试技术，为区块链和金融系统提供生产环境级别的故障演练服务。Antithesis平台能够大规模模拟真实网络环境，精准复现边缘案例故障，帮助工程师定位在传统调试过程中难以重现的系统漏洞。公司透露，以太坊网络在“合并”升级前曾采用其服务模拟极端场景，目前客户已覆盖金融、人工智能AI及区块链领域，过去两年营收增长超12倍。

Antithesis
，
@AntithesisHQ，
A platform for building the impossible. Autonomous testing trusted by
@PalantirTech

@MongoDB

@Ethereum
and many others.
科技The Multiverseantithesis.com，
2022年8月加入，
53 正在关注,
2,984 关注者

@eatonphil
·
12月6日
回复
@eatonphil
还有对立面！关于在他们的fuzzer中混合多线程Rust和单线程C++

@thenewstack
·
12月6日
了解 etcd 开源项目如何通过实施确定性仿真测试，克服了重大的知识流失和可靠性问题。由
@ha_joslyn
由于
@AntithesisHQ
壮举。
@serathius

我们以为只有在首次公开募股时才会有这种待遇。谢谢
@NYSE
!

教！），所以我们刚刚发布了第一份测试策略指南。
这篇记录了一个简单的测试工作负载，我们称之为“环形测试”。
它可以用于任何事务关系数据库（MySQL、Postgres、Cockroach、TiDB、Spanner、Aurora DSQL 等）以及任何带有多键事务的键值数据库（etcd、Zookeeper 等），它非常有效，我们认为测试此类强一致性数据库时应该先写它。
指南链接如下！

你问旧金山的房价怎么样？
昨天我们筹集了1.05亿美元的A轮融资，而且还开了旧金山办事处......巧合？你来决定。
谢谢
@entersudonym
以及SF Systems Club，为我们新空间举办了一场充满活力、满座的活动！
如果你想在湾区举办高度技术性的工程讲座/聚会，我们有足够的空间，也很欢迎访客。给我们留个消息吧！但说真的——只允许技术主题或小组。

还有什么比用一场关于虚拟机管理程序架构的90分钟讲座来庆祝筹款更好的呢？
引用
沙达吉
@ShadajL
·
12月4日
最终的SF系统聚会已经开始！非常期待听到Alex的来信@AntithesisHQ深入了解他们的确定性虚拟机管理程序！

一个简单的论点- 未来人工智能将会写出更多代码。- 我们需要更完善的测试基础设施来信任它。- 反论是业内最优秀的。为成为支持者感到自豪！
引用
亚伦（罗恩）·明斯基
@yminsky
·
12月3日
一篇关于我们如何将Antithesis纳入测试故事的新博客文章。这对我们来说算是新情况，因为我们对Antithesis（无论是人还是产品）都挺喜欢的，所以现在我们正领先他们下一轮融资。

Jane Street今天为他们的博客写了一篇关于Antithesis和我们的A轮融资的好文章。他们提到的通过倒带时间和采样替代历史来调查漏洞的机制，是我一直在研究的，所以看到他们写出来我很兴奋。
@JaneStreetGroup

@AntithesisHQ

我们再也无法比
@yminsky
有。不过我们在下面提供了更多阅读内容。
确定性仿真应该成为测试软件的新标准，而我们正在通过简街项目实现这一目标。
引用
亚伦（罗恩）·明斯基
@yminsky
·
12月3日
一篇关于我们如何将Antithesis纳入测试故事的新博客文章。这对我们来说算是新情况，因为我们对Antithesis（无论是人还是产品）都挺喜欢的，所以现在我们正领先他们下一轮融资。

我们希望所有美国读者都能有一个和谐的假期。
如果餐桌上爆发争论，你总可以休息一下，听听
@moarbugs
分享两个长期相互误解的阵营——业界和学术界——如何从彼此的方法中学习。
这最新一集#BugBash播客现在已经上线了，无论你在哪里收听播客。

旧金山系统俱乐部以一个有趣的活动结束2025年：
@AntithesisHQ
将谈谈构建确定性虚拟机监控器。他们模拟时钟，运行一个自定义的Linux分支，能很好地配合硬件缓存，还会耍出许多其他狡猾的手段:)

有时候有人问我们虫子多少钱。在这种情况下，答案似乎是：每季度40周的工程师工作时间，按谷歌薪资计算。不过，嘿，这真是一本很棒的读物！

最新一集#BugBash播客邀请了钱丽
@DBOS_Inc
谈论人体工学的残酷真相。一如既往，如果不容易，可能就不会发生。
完整剧集链接如下。

各位
@AntithesisHQ
非常棒。我们
@TigrisData
同时也使用对抗理论对我们的堆栈进行确定性仿真测试。复杂分布式系统必须拥有。
对偶
@AntithesisHQ
·
11月19日
还有人写过一篇关于确定性仿真测试的长博客文章，值得更新
@eatonphil
是几年前的事。去读吧！

今天，我们的首席执行官威尔·威尔逊宣布与
@CloudNativeFdn
为渐进型和孵化项目提供免费的可靠性测试。欢迎前往457号展位了解更多信息。
@etcdio
保持
@serathius
今天12点将在Project Pavilion发表演讲，介绍我们共同推动ETC测试的进展！

喂#Kubecon!我们在457号展位抽奖，赠送这套绝版的NES乐高套装！你知道该怎么做。
非常适合打发等待手写集成测试运行时的空闲时间。

喂#Kubecon!我们将在457号展位，讨论任天堂游戏以及那些伟大的作品
@etcdio
今年团队对《Antithesis》做了。我们会有一些惊喜暂时保密，但我们很自豪地展现了对开源分布式系统基础设施的热爱。欢迎光临！

我会简短地说这个无聊的公司公告。
Antithesis 现在允许你用制作中用的 Helm 图表进行编曲。#kubernetes!
直到几周前，你只能用docker-compose。说起来有点傻，但确实如此。

今天
@ConfidentSec
宣布推出OpenPCC，这是一个基于苹果PCC标准的开源私有推理封装器，允许全球开发者为用户提供与苹果PCC同等级别的隐私保障。该框架为数据安全、所有权和隐私设定了新的标准，确保了日益庞大的敏感数据的隐私和安全——
我们给阿尔的提示。
Confident Security是“创始人对立”项目的一部分，该项目为小型、技术高水平的团队提供低成本、低接触的Antithesis平台访问。OpenPCC今天上线时，用户从第一天起就能通过Antithesis获得可靠性保障。
Confident Security通过简单的Antithesis集成找到了快速的价值路径。他们在几天内将系统封装，并开始在对立系统中进行现有测试。这种简单的设置已经让他们能够发现并快速修复一个可能导致崩溃的漏洞，而这些漏洞需要他们数百甚至数千次测试周期才能发现。
Confident Security对OpenPCC做出了绝对铁一般的隐私保障。我们很高兴能与这样一支对正确性和可靠性有高度承诺的团队合作——期待与他们一起成长，并看到全球开源开发者用OpenPCC打造出什么！
Repo 以及他们在帖子里的博客文章。

Oskar Wickström是个低调的传奇人物，是唯一一个（？）才华横溢、投入到疯狂到能打造出模糊界面工具的人。他不仅活着讲述了这个故事，还刚刚加入了我们的#BugBash播客内容是聊聊这次经历，以及他下次会做些什么不同的事。

我们经常从客户和潜在客户那里收到一个问题：“好的，我理解基于属性的测试是什么，但我的系统应该具备哪些属性？”
是个难题，因为答案和系统数量一样多！但了解常见选项会有所帮助，直到现在，还没有一个系统的可靠参考资料来详细说明这一点。
今天，我们分享首次尝试的资源，帮助你弄清楚哪些房产值得关注。它专注于区块链，但类似的数据库、消息流及其他系统资源也即将推出。
希望你觉得这些对你有用！