Smash
- 풀 정보 제공을 위한 서버

  Smash는 검증 된 지분 풀 정보에 대한 Cardano 사용자의 액세스를 개선하고 시스템을 더 쉽게 사용할 수 있도록 고안된 지분 풀 메타 데이터 집계 서버입니다. Smash 서버는 스테이크 풀 메타 데이터를 집계하고 가져 와서 저장할 수 있습니다.

https://iohk.io/en/blog/posts/2020/11/17/in-pools-we-trust/




Plutus
- 컴퓨터 시스템 프로그래밍에 C,Java 등의 언어가 있다면 Plutus, Solidity 및 Simplicity은 블록체인 에서   동등한 역할을 하는 언어

  Plutus는 기능 프로그래밍 언어인 Haskell을 활용하는 특수 용도 개발/실행 플랫폼입니다. Cardano 상에서 스마트 컨트랙트 생성을 가능하게 하도록 설계된 Plutus는 적은 모호성 및 테스트 용이성과 같은 기능 프로그래밍의 내재적인 이점을 스마트 컨트랙트에 제공합니다

​https://github.com/input-output-hk/plutus



Marlowe
- Cardano의 금융 계약을위한 특수 목적 언어로, 블록 체인에서 범용 언어를 사용하는 대신 금융 언어로 계약을 작성할 수 있습니다

  Marlowe는 특정 분야의 전문가가 사용하기 위해 프로그래밍 기술을 요구하지 않고 사용할 수 있도록 설계된 도메인 별 언어 (DSL)입니다. Marlowe의 경우 도메인은 금융 계약 분야입니다.

언어에서 그러한 가능성을 설계함으로써 특정 종류의 나쁜 프로그램이 작성되지 않도록 할 수 있습니다. 이를 통해 기존 블록 체인의 문제였던 예상치 못한 익스플로잇을 방지 할 수 있습니다.

​https://alpha.marlowe.iohkdev.io/#/





Project Catalyst
- 제안 및 투표 절차를 결합한 재무 시스템 .

  재무 시스템은 Cardano 블록 체인을 개발하기위한 지속적인 자금 조달을 가능하게합니다. 분산 된 소프트웨어 업데이트는 프로세스가 분산되어 있음을 보장하고 시스템 업데이트에 대한 공정한 투표를 위해 공개적으로 참여할 것입니다. 여기서 모든 거래수수료는 투표 프로세스 후 향후 개발 활동에 자금을 제공하기 위해 합산됩니다.  

https://cardano.ideascale.com/




Atala Prism
-  사람들이 자신의 개인 데이터를 소유하고 조직과 원활하고 비공개 적으로 안전하게 상호 작용할 수있게 해주는 분산 형 ID 솔루션입니다.

  예를 들어 ADA를 전송할 때 지갑 주소가 아닌 Alice, Bob의 ID를 통해 직접 전송할 수 있다.


https://www.atalaprism.io/




IELE
- 스마트 계약 가상머신

개발자가 인기있는 프로그래밍 언어 중 하나로 dapp을 작성한 다음 IELE (Yella)를 사용하여 실행할 수 있도록 변환 할 수 있다. 또한 Ethereum의 Solidity 프로그래밍 언어를 지원하여 Ethereum에서 Cardano로 dApp을 매우 쉽게 이식 할 수 있다.


Hydra

라이트닝 네트워크는 간단한 거래나 스마트 컨트렉트를 메인 체인이 아닌 거래 당사자들간의 별도의 채널을 열어 처리 후 결과만 메인체인에 다시 합치는 방법으로 트렌젝션 속도를 향상시키는 방법이다.

Hydra는 고성능의 시스템(예)스테이킹 풀)이 다자간의 채널을 통해 빠른 트랜젝션을 처리 할 수 있으며 확장된 UTxO 모델 ( EUTxO )은 병렬 처리를 가능케 한다. 따라서 Hydra가 완성되어 적용되면 노드의 추가에 따라 얼마든지 성능이 확장 될 수 있게 된다.

https://iohk.io/en/blog/posts/2020/03/26/enter-the-hydra-scaling-distributed-ledgers-the-evidence-based-way/