> ## Documentation Index
> Fetch the complete documentation index at: https://josephfajen.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Articles

> Blog posts and articles on blockchain security, developer experience, and smart contract verification

## Writing Beyond Documentation

I also write articles on blockchain development, security, and developer experience. These pieces were published on the official IOG (Input Output Global) blog.

***

## Published Articles

### Always secure and safer than ever, thanks to next-level smart contract verification on Cardano

*Collaborated with the attributed author to structure the article, address reviewer comments, and polish the final draft.*

**Topic:** Smart contract verification on Cardano

**Published:** October 14, 2025

An exploration of how formal verification and type-safe languages make Cardano smart contracts more secure than traditional approaches.

[Read on IOG →](https://www.iog.io/news/always-secure-and-safer-than-ever-thanks-to-next-level-smart-contract-verification-on-cardano)

***

### Democratizing security in the Cardano ecosystem: a complete development lifecycle

**Topic:** Complete development lifecycle for secure smart contracts

**Published:** July 30, 2025

Security across the Cardano development lifecycle — from design through deployment — and how the ecosystem makes security accessible to all developers, not just specialists.

[Read on IOG →](https://www.iog.io/news/democratizing-security-in-the-cardano-ecosystem-a-complete-development-lifecycle)

***

### Breaking down the walls: making Cardano more developer-friendly

**Topic:** Making Cardano more developer-friendly

**Published:** July 3, 2025

An analysis of barriers to Cardano adoption for developers and the initiatives addressing them — tooling improvements, documentation clarity, and ecosystem support.

[Read on IOG →](https://www.iog.io/news/breaking-down-the-walls-making-cardano-more-developer-friendly)

***

## What these show

<AccordionGroup>
  <Accordion title="Translating complex topics for broader audiences">
    These articles take technical concepts (formal verification, type systems, security auditing)
    and make them accessible to developers, stakeholders, and interested non-specialists.
  </Accordion>

  <Accordion title="Understanding the full ecosystem">
    Writing these required understanding not just specific products, but how they fit into the
    broader Cardano development ecosystem and the problems developers face.
  </Accordion>

  <Accordion title="Strategic content beyond documentation">
    These aren't product docs — they're strategic content that positions IOG's approach to
    security and developer experience within blockchain.
  </Accordion>
</AccordionGroup>