feat: add introductory blog post

Author: abailly

docs/.gitignore

@@ -0,0 +1,5 @@
+node_modules
+\#.*
+*~
+.docusaurus
+build/

docs/README.md

@@ -0,0 +1,41 @@
+# Website
+
+This website is built using [Docusaurus](https://docusaurus.io/), a modern static website generator.
+
+### Installation
+
+```
+$ yarn
+```
+
+### Local Development
+
+```
+$ yarn start
+```
+
+This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
+
+### Build
+
+```
+$ yarn build
+```
+
+This command generates static content into the `build` directory and can be served using any static contents hosting service.
+
+### Deployment
+
+Using SSH:
+
+```
+$ USE_SSH=true yarn deploy
+```
+
+Not using SSH:
+
+```
+$ GIT_USER=<Your GitHub username> yarn deploy
+```
+
+If you are using GitHub pages for hosting, this command is a convenient way to build the website and push to the `gh-pages` branch.

docs/blog/2025-04-02-kick-off-antithesis.md

@@ -0,0 +1,61 @@
+---
+slug: kick-off-antithesis
+title: Cardano / Antithesis Project Kick-off
+authors: [abailly]
+tags: [infra]
+---
+
+Today, April 2nd, 2025 was the date of the official kick-off for the Cardano/Antithesis project. Already involved in testing and monitoring the Cardano network infrastructure, the [Cardano Foundation](https://cardanofoundation.org) has decided to dedicate resources to evaluate if and how [Antithesis](https://antithesis.com) could increase the reach and level of quality assurance the network needs.
+
+This post introduces the project, its motivations, scope, ambitions, and timeline.
+
+<!-- truncate -->
+
+## Why this project?
+
+The teams implementing the [cardano-node](https://github.com/IntersectMBO/cardano-node) have developed over the years an extensive set of tools, including sophisticated [simulation](https://hackage.haskell.org/package/io-sim) and [model-based](https://hackage.haskell.org/package/quickcheck-dynamic) testing systems
+
+Testing distributed systems at scale is a hard problem, poses unique challenges in terms of tools, scenarios generation, reproducibility, failure analysis, and it requires deep expertise and a significant investment to be effective.
+
+As exemplified by the continued successes of [Jepsen](https://jepsen.io) reports over the past decade, rigorous system-level blackbox testing with fault injections and sophisticated traces analysis can uncover subtle concurrency bugs and security vulnerabilities. However, such tests can quickly be expensive to setup even with virtualised infrastructure, take a lot of time to execute, and are hard to reproduce.
+
+Simulation testing, whereby a piece of software is tested in an environment which _simulates_ its actual execution target to provide better control and allow exploring a lot of scenarios including fault injections, is a quite old technique. The success the [FoundationDB](https://www.foundationdb.org) team had applying this technique sparked the development of [Antithesis](https://antithesis.com), a generic platform for simulation testing of distributed systems.
+
+As the ecosystem grows to include new and different "nodes" in the network like [Dolos](https://github.com/txpipe/dolos), [Dingo](https://github.com/blinklabs-io/dingo), [Amaru](https://github.com/pragma-org/amaru), and many tools and systems building on Cardano core infrastructure, the need arises to investigate how to provide similar system-level testing tools in a language-agnostic way, tools that could be used by the whole community to investigate more scenarios in a more diverse environment.
+
+## What is Antithesis?
+
+In short, Antithesis is a platform combining:
+
+1. A _deterministic hypervisor_ that can run nearly arbitrary pieces of software, emulating the full complexity of the underlying operating system and network, including the ability to simulate the passing of time,
+2. _Property-based testing_ and _fuzzing_ to deterministically generate complex test scenarios and check observable properties of the system-under-test, with the ability to _reproduce_ failures,
+3. Analysis and reporting tools to help troubleshoot issues signaled by tests run.
+
+The team is responsible for packaging the system-under-test as a "cluster" of containers running and interacting within the simulated environment provided by the platform, for providing test clients and scenarios to explore, and for defining "interesting" properties to verify.
+
+Here is a diagram from [antithesis' website](https://antithesis.com/product/what_is_antithesis/) summarizing how the platform works:
+
+![](https://antithesis.com/img_opt/igPT-jsSII-2034.webp)
+
+## What is this project about?
+
+While we strongly believe in the effectiveness of this approach especially as new components get developed, network grows, and new features are added to the protocol, and Antithesis has already been adopted by industry leaders like Confluent or Ethereum, we want to understand how this investment can yield value to the Cardano community _as a whole_ in a perennial way.
+
+The long-term goal of this project is therefore to collectively build and maintain a testing infrastructure that can benefit the ecosystem and most notably those parties involved in the development and maintenance of the Cardano infrastructure: Nodes, protocols, and related tools. We envision this infrastructure to be governed through an open and transparent process which is yet to be defined, and to be funded by the _community_ through whatever channels seem the most effective, whether it is grants, dedicated treasury withdrawals, infrastructure budget, contributions and fees...
+
+In the short-term however, we need to experiment with the platform, understand what are its capabilities and limits, what it requires from the system-under-test in order to be the most effective, how powerful it is to find and troubleshoot bugs and security vulnerabilities, and more generally openly and candidly build a strong case for the governing bodies of the Cardano ecosystem to decide whether or not this investment shall be pursued.
+
+The phases and coarse-grained timeline of the project are documented in the [README](https://github.com/cardano-foundation/antithesis), and this blog post marks the beginning of the _Proof-of-Concept_ period during which will collaborate with Antithesis to assess the tool.
+
+## Why should you care?
+
+As already stated, the goal of this project is to evaluate whether the Cardano community, as a whole, could benefit from the continuous availability of Antithesis as a testing infrastructure. This means that if you have some expertise on Cardano, its components, the network, the protocol, and if you have ideas on properties we should be testing, scenarios we should investigate, faults and adversarial behaviours we should be prepared to face, we would be more than happy to hear from you!
+
+Concretely, this means that we expect from _you_ as a Cardano enthusiast to help us with:
+
+* Improving infrastructure code (eg. docker images, containers, compose files) we use to run tests, and defining particular setups to test,
+* Defining and designing [test](https://antithesis.com/docs/test_templates/) that explore "interesting" scenarios,
+* Stating and refining properties that need to old, in specific or generic cases,
+* Documenting the expected behaviour in such a way that can easily lead to test generations, for example under the umbrella of teh [Cardano Blueprint](https://github.com/cardano-scaling/cardano-blueprint) project,
+* Troubleshooting bugs and security vulnerabilities, following our [Security policy](https://github.com/cardano-foundation/antithesis/security/policy),
+* ...

docs/blog/authors.yml

@@ -0,0 +1,7 @@
+abailly:
+  name: Arnaud Bailly
+  title: Project Lead
+  url: https://github.com/abailly
+  image_url: img/abailly-avatar.jpeg
+  socials:
+    github: abailly

docs/blog/tags.yml

@@ -0,0 +1,4 @@
+infra:
+  label: Infrastructure
+  permalink: /infra
+  description: Setting up infrastructure for Antithesis run

docs/docusaurus.config.ts

@@ -0,0 +1,96 @@
+import {themes as prismThemes} from 'prism-react-renderer';
+import type {Config} from '@docusaurus/types';
+import type * as Preset from '@docusaurus/preset-classic';
+
+// This runs in Node.js - Don't use client-side code here (browser APIs, JSX...)
+
+const config: Config = {
+  title: 'Tartarus',
+  tagline: "ch'i' non ti lascerò nel mondo basso.",
+  favicon: 'img/cardano-ada-logo.svg',
+
+  // Set the production url of your site here
+  url: 'https://cardano-scaling.github.io/',
+  // Set the /<baseUrl>/ pathname under which your site is served
+  // For GitHub pages deployment, it is often '/<projectName>/'
+  baseUrl: '/antithesis',
+
+  // GitHub pages deployment config.
+  // If you aren't using GitHub pages, you don't need these.
+  organizationName: 'cardano-scaling', // Usually your GitHub org/user name.
+  projectName: 'antithesis', // Usually your repo name.
+
+  onBrokenLinks: 'throw',
+  onBrokenMarkdownLinks: 'warn',
+
+  // Even if you don't use internationalization, you can use this field to set
+  // useful metadata like html lang. For example, if your site is Chinese, you
+  // may want to replace "en" with "zh-Hans".
+  i18n: {
+    defaultLocale: 'en',
+    locales: ['en'],
+  },
+
+  presets: [
+    [
+      'classic',
+      {
+          docs: false,
+          blog: {
+              routeBasePath: '/',
+          showReadingTime: true,
+          feedOptions: {
+            type: ['rss', 'atom'],
+            xslt: true,
+          },
+          // Please change this to your repo.
+          // Remove this to remove the "edit this page" links.
+          editUrl:
+            'https://github.com/facebook/docusaurus/tree/main/packages/create-docusaurus/templates/shared/',
+          // Useful options to enforce blogging best practices
+          onInlineTags: 'warn',
+          onInlineAuthors: 'warn',
+          onUntruncatedBlogPosts: 'warn',
+        },
+        theme: {
+          customCss: './src/css/custom.css',
+        },
+      } satisfies Preset.Options,
+    ],
+  ],
+
+  themeConfig: {
+    // Replace with your project's social card
+    image: 'img/docusaurus-social-card.jpg',
+    footer: {
+      style: 'dark',
+      links: [
+        {
+          title: 'Community',
+          items: [
+            {
+              label: 'Discord',
+              href: 'https://discord.gg/quVqGUrW',
+            },
+          ],
+        },
+        {
+          title: 'More',
+          items: [
+            {
+              label: 'GitHub',
+              href: 'https://github.com/cardano-scaling/antithesis',
+            },
+          ],
+        },
+      ],
+      copyright: `Copyright © ${new Date().getFullYear()} Cardano Foundation, Inc. Built with Docusaurus.`,
+    },
+    prism: {
+      theme: prismThemes.github,
+      darkTheme: prismThemes.dracula,
+    },
+  } satisfies Preset.ThemeConfig,
+};
+
+export default config;