IOG : 카르다노 스마트 컨트랙트의 인증된 디앱

 

카르다노 스마트 컨트랙트에 대한 인증 레벨

이 인증(Certification)은 카르다노의 분산형 애플리케이션(dApps) 개발에 대한 높은 확신을 가져다 줍니다.

 

스마트 컨트랙트를 개발하고 작업할 때는 높은 보증 수준(High assurance)이 가장 중요합니다. 우수한 소스 코드 품질, 안전한 컨트랙트, 필요로 지정된 동작을 정확히 수행하고, 좋은 속성 프로세스를 통한 동작에 대한 확신이 있어야 합니다. 이러한 보증 수준은 배포 전에 보안 검사가 수행되고 스마트 컨트랙트가 업데이트 될 때 감사될 수 있도록 합니다. 이것은 스마트 컨트랙트 개발자와 최종 사용자 모두에게 이점을 제공하며 코딩 오류 또는 악용에 대해 사용자 자금과 프로젝트의 평판을 보호합니다.

 

9월에 있었던 Cardano Summit 2021에서 우리는 카르다노에서 실행되는 디앱(dApps)에 대한 새로운 수준의 인증 도입에 대한 계획을 발표했습니다. 이 이니셔티브는 IOG의 기술 프로젝트 디렉터인 Simon Thompson 교수와 IOG의 최고 프로덕트 책임자인 Shruti Appiah가 주도했습니다. 이것은 업계 최고의 모범 사례가 될 것입니다. 우리는 Runtime Verification (RV), Tweag, Well typed, Ceritk 및 기타 회사와 협력하여 서밋에서 프로토타입으로 공개된 dAppStore와 연동될 새로운 인증 프로그램을 출시했었습니다.

 

이 인증 프로그램은 새로운 라이트월렛과 함께 출시될 예정입니다.

 

 

이 다양한 인증 레벨이란 무엇입니까?

 

이 보증 레벨은 세 가지 레벨이 존재하고, 각각의 레벨은 보증 및 감사 목적면에서 서로 보완합니다.

레벨1. 자동화된 툴(도구) 사용. Automated Tooling

이 인증 레벨은 스마트 컨트랙트의 다양한 속성에 대한 지속적인 보증을 제공합니다. 다양한 유형의 문제 또는 버그를 발견하고, 꽤 높은 수준의 보증을 제공하면서 모든 사람이 접근할 수 있는 동시에 저비용, 적은 노력이 특징입니다. 애플리케이션 릴리즈 또는 하위 릴리즈가 있을 때마다 애플리케이션이 예상된 속성이 여전히 존재하는지 테스트할 수 있습니다.

 

레벨2. 심층 감사

이 인증 레벨은 생산으로 이어진 기술과 과정(프로세스)를 살피는 것을 포함합니다. dApp 내에서 스마트 컨트랙트에 대한 수동 감사 및 검증을 포함합니다.훨씬 심층적인 수준에서 테스트가 진행되고 다양한 언어로 작성된 경우더라도 전체를 다룰 수 있는 더 많은 수동 감사가 필요합니다.

 

레벨3. 형식 검증

이 인증 레벨은 스마트 컨트랙트의 공식 검증을 통해 애플리케이션의 중요한 측면에 대한 완전한 보증을 제공하는 것으로 더 전문화되어 있습니다. 공식적인 검증은 스마트 컨트랙트가 가장 처음에 정의된 비즈니스 또는 기술 요구 사항을 충족하는지에 대해 여부를 확인하는 것이 포함됩니다.

 

 

어떤 형태의 보증 수준을 기대할 수 있을까요?

 

인증은 애플리케이션 개발자와 감사자 모두에게 일관된 요구사항과 정확성, 준수성을 보장합니다. 일반적인 보안 취약점의 부재를 보장하고 카르다노에 배포된 디앱(dApp)에 견고성, 신뢰성 및 메인터넌스(유지 관리) 수준을 제공합니다. 인증은 강력히 권장되는 프로세스로 디앱스토어는 그에 따라 큐레이팅되지만, 이것은 의무적이거나 감시자(문지기, 게이트키퍼) 역할을 하지 않습니다. 따라서 사용자 보증의 필요성과 분산된 원칙 사이의 균형을 유지합니다.

 

사양과 디자인(설계) 및 아이디어화 단계를 감사함으로써 커뮤니티에 증거를 제시하고 모든 것이 예상대로 작동하는지 보장합니다. 이 증거에는 세부적인 수준의 요구사항과 문서가 포함되어 있고, 이것은 미래를 위한 기준점이 됩니다.

 

 

dAppStore의 보증 수준

 

우리는 이 인증 프로세스를 대체 불가능한 토큰(NFT) 을 제공하기 위해 구축중인 새로운 dAppStore(디앱스토어)와 통합할 계획입니다. dAppStore는 IOG가 개발 중인 라이트월렛의 일부가 되고, 사용자는 웹브라우저를 통해 라이트월렛과 디앱스토어에 접속하여 스토어에서 카테고리를 탐색하고 디앱을 관찰하면서 각 dApp의 인증 상태와 보증 수준을 볼 수 있습니다.

 

디앱스토어의 계획에 대해 자세히 알아보려면 dAppStore Summit Video를 감상하십시오. 해당 영상에서 우리의 컨셉을 확인할 수 있습니다.

 

https://youtu.be/XnsyinIBfnk

 

이 인증 프로세스의 다음 역할은 무엇입니까?

 

Thompson 교수는 다음과 같이 말합니다:

“우리는 이 인증이라는 표준을 구축하고자 합니다. 장기적으로 우리는 이 사례를 명확히 하기 위해 파트너 및 기타 업체와 협력할 것이며, 여기에는 이 도메인에 대한 새로운 표준과 관행을 정의하는 산업체를 구성하는 것이 포함됩니다.”

 

또한 카르다노의 첫 번째 인증된 디앱을 지원하기 위해 우리는 여러 파트너 생태계와 협력할 예정입니다. 올해 카르다노에서 출시될 예정인 여러 DEX들 중 하나인 SundaeSwap은 Summit에서 인증 계획을 발표했습니다.

 

예. 하지만 이것은 아직 초기 단계입니다.

 

디앱의 버전 관리를 지원하는 방법, 패키지화하는 방법, 자동화된 도구(툴링)에 대한 사용 방법에 관련하여 몇 가지 기술적 문제가 있습니다. 이것은 차차 개선될 것이며 파트너 및 일반 커뮤니티와 함께 그 위에 구축된 안전한 플랫폼과 애플리케이션을 제공한다는 이 여정에 대해 우리는 매우 기쁘게 생각합니다.

 

이 인증 레벨에 대해 자세히 알아보고 이 프로그램에 참여하려는 파트너들을 보려면 다음 Cardano Summit 세션의 인증 세션을 시청하십시오.

 

https://youtu.be/ZrXo9z-CSQ0

 

https://iohk.io/en/blog/posts/2021/10/25/new-certification-levels-for-smart-contracts-on-cardano/