OpShin은 개발자가 Python으로 Cardano 스마트 계약을 작성할 수 있게 하는 도구체인임.

이 도구체인은 스마트 계약과 dApp 개발을 쉽게 하기 위해 여러 프로젝트로 구성되며, 주로 Python 기반이거나 Python과 잘 통합되어 접근성을 극대화함.

또한 OpShin은 PlutusTx 대비 낮은 트랜잭션 비용을 보장함.

현재 Python은 GitHub에서 두 번째로 많이 사용되는 언어로, 전체 활성 사용자 중 14.75%가 Python을 사용하며 연간 사용자 증가율은 22.5%임.

Python을 아는 많은 개발자가 Cardano 개발에 OpShin 도구체인을 활용할 수 있음.

OpShin은 고급 프로그래밍에서 엄격한 타입 시스템을 구현하는데, Python 타입 힌트를 기반으로 하지만 컴파일 시 타입 정보는 모두 제거되어 효율적인 프로그램을 만듦.

실제 사용 사례에서 OpShin은 여러 프로그래밍 언어보다 뛰어난 성능을 보임.

이 출금은 Intersect가 벤더를 대신해 제출했으며, 총 ₳275.27M 규모 예산의 39개 제안 중 하나임.

OpShin은 Python 문법을 100% 준수하며, Python 코드와 동일하게 온체인에서 평가되어 표준 Python 도구로 단위 테스트와 검증이 가능함.

엄격한 타입 시스템 덕분에 최적화와 보안 수준이 높음.

PyCardano 라이브러리와 긴밀히 연동되어 온체인과 오프체인 코드를 모두 Python으로 작성할 수 있음.

현재는 개발 중이며, 프로덕션 사용은 권장되지 않음.

OpShin은 Python의 단순성과 정적 타입 시스템의 엄격함을 결합해 Cardano 스마트 계약 개발의 접근성과 강력함을 동시에 제공함.

이로 인해 개발 진입 장벽이 낮아지고, 블록체인 기술의 산업적 중요성 증가에 부응함.

OpShin은 Cardano 스마트 계약의 온체인(검증자 스크립트)과 오프체인(트랜잭션 생성) 컴포넌트 설계에 적합하며, UTXO와 연동된 datum을 활용해 계약 상태를 관리함.

제안자는 이미 프로젝트의 주요 부분을 완성했고, 커뮤니티에서 신뢰받는 인물임.

자금 지원으로 OpShin 도구체인의 사용성 및 개발자 경험 개선, 기본 문제 해결을 위한 개발자 고용이 가능해짐[1][2][3][4].

---

**주석**

- UTXO: Unspent Transaction Output, 사용되지 않은 거래 출력
- datum: 스마트 계약 상태를 나타내는 데이터
- PlutusTx: Cardano의 기존 스마트 계약 언어
- PyCardano: Cardano 블록체인과 상호작용하는 Python 라이브러리

기존에는 Haskell과 Plutus라는 함수형 프로그래밍 언어가 주로 사용되어, 새로운 개발자들이 접근하기 어려웠음.

Aiken, Plu-ts 등도 함수형 프로그래밍 기반이며, 이들 언어는 Cardano 스마트 계약 전용으로 설계되어 희소함.

따라서 개발자가 Cardano용 스마트 계약을 시작하려면 완전히 새로운 언어를 배워야 하는 어려움이 있었음.

IOG 아카데미에서는 두 가지 학습 경로를 제공함.

첫째, 기존 프로그래밍 경험이 있는 개발자는 Haskell 기초부터 고급까지 학습 후 Plutus를 익혀 Cardano 스마트 계약 개발자가 될 수 있음.

둘째, 금융 또는 비즈니스 전문가로서 코딩 경험이 적은 경우 Marlowe를 배우고, 필요시 Haskell 기초를 익혀 금융 스마트 계약을 작성할 수 있음[1].

Cardano 스마트 계약은 온체인 검증자 스크립트와 오프체인 트랜잭션 생성 스크립트로 구성되며, ADA(에이다) 등 자산을 특정 조건에 따라 자동으로 관리함[2].

이처럼 Cardano 스마트 계약 개발은 복잡한 함수형 언어 학습과 특수한 개발 환경 때문에 진입 장벽이 높았음.

따라서 제안은 이러한 문제를 해결하기 위해 더 쉽게 접근 가능한 개발 도구나 언어, 교육 경로를 마련하는 데 중점을 둠[4][5].

---

**주석**

- Plutus: Cardano에서 스마트 계약을 작성하기 위한 함수형 프로그래밍 언어

- Marlowe: 금융 계약에 특화된 도메인 특화 언어(DSL)

- Validator-script: 스마트 계약의 온체인 조건을 검증하는 코드

- Redeemer: 스마트 계약 실행 시 제출하는 데이터로, 조건 충족 여부 판단에 사용됨

파이썬 문법을 100% 준수하며, 온체인에서 파이썬 코드와 동일하게 평가되어 단위 테스트와 검증이 표준 파이썬 개발 도구로 가능함.

엄격한 타입 시스템으로 최적화와 높은 보안성을 제공하며, PyCardano 라이브러리와 긴밀히 연동되어 온체인과 오프체인 코드를 모두 파이썬으로 작성할 수 있음[2][5].

OpShin은 Cardano 스마트 계약 개발 진입 장벽을 크게 낮춰, 파이썬 경험자뿐 아니라 초보자도 쉽게 접근 가능하도록 설계됨.

현재 언어 자체는 완성되어 프로덕션 준비 상태이나, Plutus 버전 및 표준 변화에 대응하기 위해 지속적인 개발과 업데이트가 필요함[1][2][4].

프로젝트는 Niels가 주도하며, 이미 주요 기능을 자체 부트스트랩 완료해 사용 중임.

Julius Frost, S.C. Musson 등 경험 많은 개발자들이 필요에 따라 지원함.

자금은 1년간 추가 개발과 도구 개선에 사용되며, 구체적 산출물은 생태계 변화에 따라 유동적임.

법적 계약은 Cardano Development Holdings(CDH)와 작성되며, Intersect가 관리 및 분쟁 해결을 담당함.

프로젝트 진행은 Intersect와 CDH가 합의한 일정과 마일스톤에 따라 이루어지고, 3자 검증자가 각 마일스톤 완료를 검토하고 승인함.

재무 관리는 Sundae Labs가 개발한 스마트 계약 프레임워크를 사용하며, Intersect가 TRSC(재무 준비금 스마트 계약)와 PSSC(프로젝트별 스마트 계약)를 관리함.

관리 권한은 Intersect 관리자, 리더십, 그리고 Sundae Labs, Cardano Foundation 등 5개 독립 기관으로 구성된 감독 위원회가 분산하여 행사함.

자금은 TRSC의 스테이크 계정으로 입금되고, 이후 PSSC로 이체되어 프로젝트에 사용됨.

커뮤니티는 온체인 데이터와 대시보드를 통해 자금 사용 내역을 투명하게 감시할 수 있음.

---

**주석**

- TRSC: Treasury Reserve Smart Contract, 재무 준비금 스마트 계약

- PSSC: Project-Specific Smart Contract, 프로젝트별 스마트 계약

- Plutus: Cardano의 스마트 계약 플랫폼

- PyCardano: Cardano와 상호작용하는 파이썬 라이브러리

This is OpShin: a toolchain that lets developers construct Cardano smart contracts in Python. The toolchain comprises several projects that aim to facilitate the development of Smart Contracts and dApps on Cardano. They are largely based on Python, or integrate well with it for maximal accessibility. On top of accessibility, OpShin ensures low transaction cost compared to PlutusTx.

At the time of writing, Python is the second-most used language on GitHub, with 14.75% of the active userbase working with Python, and enjoys a 22.5% year-over-year increase in users; this is driven in part by its utility in data science and machine learning.

Everyone who knows Python can leverage the toolstack available for Python development to build on Cardano; and that is a lot of people, with a lot of tools.

OpShin enforces strict typing on the high-level programming: it implements a type system on top of Python type hints. However, all traces of typing are erased during compilation, for a maximum efficiency program. OpShin beats many programming languages when taken to the test for real use-cases.

This Treasury Withdrawal is submitted by Intersect on behalf of the vendor. The following sections; Abstract, Motivation, Rationale and Vendor Profile have been sourced from the approved proposal submitted by the Vendor as part of the Intersect budget process.

This treasury withdrawal funds one of 39 proposals to give effect to the approved budget info action for ₳275,269,340, administered by Intersect via gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh. The information provided herein is intended to fulfill the spirit of the constitutional requirement for a treasury withdrawal info action by also providing the details of the proposed solution, alignment to the budget, and amount to be withdrawn from the Cardano Treasury.

Developing Smart Contracts on Cardano is difficult to get started with. Historically, the functional programming paradigm of Haskell and Plutus has scared away new developers. Aiken, Plu-ts and similar alternatives are also based on functional programming. Moreover all of these languages are rare, some specifically designed for Cardano Contracts. Thus, if developers want to start building for Cardano, they need to learn a completely new language.

We propose OpShin, a Python-based smart contract language for Cardano. Python is one of the most popular programming languages known. On top of this we provide the security guarantees that are the reason for the Cardano community to embrace functional programming - thus offering an accessible and easy to start with alternative to current languages.

OpShin is aimed at developers that want to build on Cardano. It drastically simplifies onboarding when experience in Python is given, and even without is easy to read and access.

By making development of Smart Contracts more accessible, OpShin is a key catalyst for a growing ecosystem of DApps on Cardano. The benefit to the community is immense.

The project is under ongoing development. The language itself is already completed and production ready, but the Smart Contract Ecosystem is always evolving (i.e. new Plutus versions, standards, CIPs). This evolution requires continuous adaptations. The proposal is enough to fund further development for one year. There are no fixed deliverables as it is hard to predict the changes in the ecosystem.

### Vendor Profile

The main proposer, Niels, has already bootstrapped the main part of the project. In its current form the tool is able to be used and already being used. The proposer is completely doxed and well-known in the Community.

He also has a strong network of competent and experienced developers interested and capable in supporting the project.

He is supported on a per-demand basis by contributors to OpShin such as Julius Frost and S.C. Musson, who have redeemed themselves by contributing valuable improvements.

The main goal of this proposal is to improve usability and developer experience with respect to Smart Contracts on Cardano. With the given funds, the continued development of the toolchain is secured as developers can be hired to tackle basic issues in the toolchain whereas the main proposer is able to allocate more time of the day towards developing OpShin himself.

### Contract Management

A written off-chain Legal Contract will be created between the Vendor and the Cardano Development Holdings (CDH), as mandated by the constitution, and will be administered by Intersect. This will include details of the project delivery schedule and dispute resolution.

### Project Delivery

All milestones, acceptance criteria, payment amounts and expected delivery dates will be agreed between the Vendor and Intersect, acting on behalf of the CDH. The vendor will deliver according to the agreed-upon project schedule within the Legal Contract, of which the necessary information will be made public via the budget management platform via transaction metadata.

Defined by the milestones within a Legal Contract, the vendor will submit and attest milestone acceptance to the community, Intersect or 3rd Party Assurer.

Project progress will be monitored via Intersect's delivery assurance function which will be communicated to the community.

Acceptance of the above work is expected to be supported by a 3rd Party Assurer, who will be responsible for reviewing and signing off the work completed at each project milestone against the corresponding milestone deliverables detailed within the Legal Contract. This work is funded from a portion of this treasury withdrawal.

### Budget Management Tooling

To administrate treasury funds on-chain, Intersect will utilize the treasury management smart contract framework developed by Sundae Labs. The smart contracts have been [extensively tested](https://github.com/SundaeSwap-finance/treasury-contracts/tree/main/offchain/tests) including audits from TxPipe and MLabs. Examples of the usage of these contracts can be seen across mainnet described across Intersect authored [Blog 1](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-a-step-toward-on-chain-treasury-withdrawals), [Blog 2](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-day-two-update) and [Blog 3](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-day-three-update).

Final mainnet validation test can be seen via the Disburse action within transaction: 0f591dc544ae14102dbb4a74d5311a6acffc1772b163d8b7a9656b9525950b17

With the confirmed treasury reserve contract address being: stake17xzc8pt7fgf0lc0x7eq6z7z6puhsxmzktna7dluahrj6g6ghh5qjr

#### Specifics

Intersect will utilize a single Treasury Reserve Smart Contract (TRSC), with many Project-Specific Smart Contracts (PSSC), managed by Intersect. Intersect's management consists of three 'admin' and two Intersect 'leadership' roles. An Oversight Committee consisting of five external, independent third-party entities will provide checks and balances on Intersect, and safeguard against errors and unilateral control. The administration of both TRSC and PSSCs will be managed by Intersect, with external oversight on certain actions from the Oversight Committee.

The Oversight Committee consists of Sundae Labs, Cardano Foundation, Dquadrant, Xerberus and NMKR. Their role is to independently verify key administrative actions using on-chain logic, ensuring accuracy and consistency without exercising discretion over governance decisions.

For all details on Intersect's configuration please see the **[Smart Contract Guide](https://docs.intersectmbo.org/cardano-facilitation-services/cardano-budget/intersect-administration-services/smart-contracts-as-part-of-our-administration)** on the knowledgebase.

The high level permissions are as follows:

- TRSC Fund and PSSC Modify

- Two of the three Intersect admins, two of the five trusted entities and one of the two Intersect leadership sign-off must authorize

- TRSC Disperse

- Two of three Intersect admins, three of five trusted entities and two of two Intersect leadership sign-off must authorize

- TRSC Pause and Resume

- Two of three Intersect admins, and one of two Intersect leadership sign-off must authorize

- TRSC Sweep

- One of three Intersect admins, and one of two Intersect leadership sign-off must authorize

- TRSC Reorganize

- Two of three Intersect admins and three of five trusted entities must authorize

#### Processes

Upon enactment of this governance action, funding for this project will be directed into the TRSC's stake account. All instances of TRSC and PSSC can not be staked with a SPO and will be delegated to the auto-abstain predefined DRep. From here funds will be withdrawn into a UTxO remaining at the TRSC.

When the Legal contract is prepared and the vendor is ready, funding for this project will be transferred using the Fund action to a PSSC. All milestones will be outlined within the metadata.

A dashboard will be available for the community to audit the TRSC or PSSC and track metrics related to this withdrawn ada as well as being immutably verifiable on chain.

The subsections; Contract Management, Project Delivery, and Budget Management Tooling described above cover the constitutional requirements specified in Article IV section 4 and 5.