
Work Here?
Work Here?
Work Here?
Antithesis provides an autonomous software testing platform for enterprise software and developer tools. It uses The Determinator, a deterministic hypervisor, to reproduce production environments, network conditions, and execution paths and runs massive parallel simulations that inject faults to surface hidden issues, integrating into CI/CD pipelines. Unlike traditional test scripts, it autonomously explores edge cases with fault injection and deterministic time-travel debugging to replay crashes exactly. Its goal is to help engineering teams deploy fault-tolerant distributed systems with high reliability, targeting large financial institutions and blockchain networks, on a usage-based SaaS model.
Industries
Enterprise Software
Company Size
201-500
Company Stage
Series A
Total Funding
$182M
Headquarters
Vienna, Virginia
Founded
2018
See people who can refer or advise you
Help us improve and share your feedback! Did you find this helpful?
Total Funding
$182M
Above
Industry Average
Funded Over
3 Rounds
Industry standards
Cardano Dijkstra plans advance as September 1 deadline looms. Intersect says Dijkstra's scope and target dates remain unchanged as teams prepare nodes, testnet infrastructure and governance for the next upgrade. Published 21 hours ago · Updated 1 hour ago Key Highlights * Cardano's Dijkstra hard fork planning continues with its previously agreed scope and target dates intact. * The upgrade follows Van Rossem, the first Cardano hard fork approved entirely through on-chain governance. * Intersect has launched a Dijkstra readiness tracker to monitor node compatibility, testing and ecosystem preparedness. Cardano is approaching a September 1 governance deadline that could affect the functioning of its Constitutional Committee as the network prepares for the upcoming Dijkstra hard fork. According to Intersect's August 14 weekly update, the scope and target dates for Dijkstra remain unchanged. Development teams are now focusing on ecosystem readiness, node compatibility and the potential impact of the upgrade on stake pool operators and other network participants. The latest phase follows the Van Rossem hard fork, which activated Cardano Protocol Version 11 on July 18 after receiving approval through the network's three governance bodies. Cardano's governance shift sets context for Dijkstra. Cardano's latest upgrade planning follows a broader shift toward community-led protocol development. In July, the Van Rossem hard fork became the first Cardano upgrade to be approved through the network's on-chain governance process, receiving 77.63% DRep support and 52.7% SPO approval. Around the same period, Cardano began moving node development toward a community-led model, with independent teams expected to maintain implementations in Haskell, Rust, and Go as the transition progresses toward 2027. The changes provide context for the current Dijkstra planning process, which is focused on coordinating the next hard fork and preparing the network for further technical developments. Dijkstra planning moves into readiness testing. Intersect said the Hard Fork Working Group is now working on a broader readiness process for Dijkstra. An initial Dijkstra readiness tracker has been created and is expected to include more detailed criteria, readiness calculations and testnet reporting as development progresses. The goal is to give stake pool operators, node developers and other ecosystem participants a clearer picture of what needs to be completed before the upgrade. Alternative node teams have also been invited to participate in the weekly Hard Fork Working Group discussions. Amaru node targets mainnet block production. One of the projects contributing to Cardano's node diversity is Amaru, whose team reported that its implementation is currently relay-capable and syncing to the network tip. The team is targeting mainnet block production in November 2026. Amaru is also working with Antithesis on testing Cardano's node software and improving the reproducibility of failures. The progress provides another data point for Cardano's effort to move toward an ecosystem where multiple teams can maintain and operate network infrastructure. Dijkstra sets the stage for Leios. Dijkstra is also connected to Cardano's longer-term scaling roadmap. According to the Haskell node team, Leios will enter a bootstrapping phase after the Dijkstra hard fork, with stake pool operators expected to register BLS keys as part of that process. Leios is intended to increase Cardano's transaction-processing capacity and improve the network's ability to handle higher levels of activity. That makes Dijkstra an intermediate step between the current Conway-era infrastructure and Cardano's planned scaling work. Governance remains part of the technical roadmap. Protocol development is continuing alongside active governance decisions. Intersect reported that the Update Constitutional Committee 2026 action was still awaiting DRep and SPO approval as of August 14. DRep participation stood at about 30.04%, against a required 67%, while SPO participation was approximately 1.69%, against a 51% requirement. The action expires on September 1, 2026. The elected committee members have already completed the election and audit process, but on-chain ratification remains necessary before the new committee can take its seats. A failure to approve the action before the existing terms expire could leave the committee below Cardano's required minimum size, potentially limiting parts of the governance process. Cardano's next test Is execution. Cardano enters the next phase with a different development structure than it had during earlier upgrades. Van Rossem demonstrated that a protocol change could pass through the network's on-chain governance system. The shift toward independent node teams is changing how the underlying software is maintained, while Dijkstra will test how effectively those participants can coordinate around another major upgrade. For now, Intersect says the Dijkstra scope and target dates remain unchanged. The immediate focus is therefore less on announcing new features and more on node readiness, testing, governance and ecosystem coordination before the next hard fork. Disclaimer: The information researched and reported by The Crypto Times is for informational purposes only and is not a substitute for professional financial advice. Investing in crypto assets involves significant risk due to market volatility. Always Do Your Own Research (DYOR) and consult with a qualified Financial Advisor before making any investment decisions.
Antithesis, an autonomous software verification company, has demonstrated technology enabling AI coding agents to correct their own code without human intervention. The system addresses a critical bottleneck in AI-generated software development, where verification takes significantly longer than code generation. The company's suite of tools allows AI agents to use Antithesis independently, alerting human developers only when errors cannot be fixed automatically. The platform uses deterministic simulation and property-based testing to validate software, testing years of real-world production scenarios in hours. Antithesis raised $105 million in a Series A round last year, led by Jane Street. Founded in 2018 and launched publicly in 2024, the company is based in Northern Virginia.
Antithesis has raised $105 million in a Series A round led by Jane Street, a major high-frequency trading firm. The investment values the company's deterministic simulation technology, which tests complex systems like blockchains and trading platforms. The platform compresses months of production testing into hours by simulating extreme conditions and edge cases. Antithesis was used by Ethereum ahead of The Merge to identify vulnerabilities before they occurred in live environments. Its replay feature allows engineers to reproduce and isolate failures quickly. The funding will support global expansion across North America, Europe and Asia, including distribution through AWS Marketplace. Investors include Patrick Collison and Sholto Douglas. The company targets finance, AI and blockchain sectors where system reliability is critical.
Jane Street leads $105M funding for Antithesis, a testing tool used by Ethereum network. Antithesis said its Series A will scale deterministic simulation testing, replaying complex failures exactly for crypto and other always-on systems. What to know: * Jane Street led Antithesis' $105 million Series A and is both an investor and a customer. * The Ethereum network used Antithesis to stress-test conditions ahead of The Merge. Antithesis, a Northern Virginia startup pitching itself as infrastructure for never-down software, raised a $105 million Series A led by Jane Street, a bet that stress-testing distributed systems matters as much for blockchains as it does for high-speed trading. The company's platform uses deterministic simulation testing, running large-scale, production-like simulations to surface the kinds of edge cases that can blow up in live networks, Antithesis said in a press release Wednesday. When a failure hits, Antithesis said it can replay the bug exactly, helping engineers isolate issues without the usual can't reproduce limbo, a familiar pain point for crypto protocols where small glitches can cascade into chain instability. Other investors in the funding round include Amplify Venture Partners, Spark Capital, Tamarack Global, First In Ventures, Teamworthy Ventures and Hyperion Capital, alongside individuals such as Patrick Collison, Dwarkesh Patel and Sholto Douglas, the company said. Antithesis has leaned on crypto credibility, saying the Ethereum network used its simulations ahead of The Merge to model extreme conditions and catch vulnerabilities before the proof-of-stake transition. The company also cited customers across finance, AI, blockchain and data infrastructure, and said revenue rose more than 12x over the past two years. Antithesis said it will use the proceeds to expand engineering, increase automation, scale go-to-market globally and push distribution through channels including AWS Marketplace. AI agents are now capable enough to identify exploitable weaknesses in smart contracts, and could already be used by attackers to weaponize those flaws, according to new research from Anthropic's Fellows program. Researchers said that as AI models get cheaper and more capable, automated hacking could spread from decentralized finance (DeFi) exploits to a wider range of software and critical infrastructure bugs. AI Disclaimer: Parts of this article were generated with the assistance from AI tools and reviewed by its editorial team to ensure accuracy and adherence to its standards. For more information, see CoinDesk's full AI Policy. Commissioned by GoPlus * As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M. * GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025, with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month. * Since its January 2025 launch, the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B, while derivatives volume peaked the same month at over $4B. The world's largest asset manager released its AI report with a bearish outlook on U.S. bonds and the country's economy, and presented a bullish projection for crypto adoption. * BlackRock envisions a future where institutional adoption of cryptocurrencies accelerates due to U.S. economic fragility and increased government debt. * The asset manager's suggests traditional financial hedges are failing, prompting a shift towards digital assets like bitcoin as alternative investments. * BlackRock highlights the growing importance of tokenization and stablecoins as bridges between traditional finance and the digital economy.
Antithesis raises $105M in Series A funding. Antithesis, a Tysons Corner, VA-based deterministic simulation testing company, raised $105M in Series A funding. The round was led by Jane Street with participation from Amplify Venture Partners, Spark Capital, Tamarack Global, First In Ventures, Teamworthy Ventures, Hyperion Capital, and individuals including Patrick Collison, Dwarkesh Patel, and Sholto Douglas, alongside other new and returning investors. Jane Street is both an Antithesis investor and customer. * Expand engineering teams to strengthen its deterministic simulation engine. * Advance platform intelligence and autonomy. * Build a sales and marketing organization. * Scale GTM operations across North America, Europe, and Asia. * Deepen availability through cloud channels, including AWS Marketplace. Led by CEO Will Wilson, Antithesis provides a new way to validate that software works correctly before it is released, driving a fully deterministic, massively parallel simulation that tests years of real-world production in a few hours. It explores codebase and injecting common faults to ensure the system always behaves as intended. The company says that the platform perfectly reproduces any bug it finds in its environment for rapid debugging.
Find jobs on Simplify and start your career today
Industries
Enterprise Software
Company Size
201-500
Company Stage
Series A
Total Funding
$182M
Headquarters
Vienna, Virginia
Founded
2018
Find jobs on Simplify and start your career today