Ethereum / Solidity 개발자는 Solidity 계약을 Tezos로 마이그레이션하려고합니다.몇 가지 질문에 대한 빛을 비추고 싶었어

다음은 Archetype 에 대한 Arvid의 답변에 대한 보완입니다.

재사용 및 모듈성

실제로 Archetype의 확장 프로그램 은 계약에 기능을 추가하기위한 재사용 가능한 코드입니다. 예를 들어 역할에서 ' 이전 가능 '확장을 사용하면 계약에 역할을 다른 주소로 이전하는 데 필요한 조치 (예 : 진입 점)

예를 들어 관리자 역할에서 '이전 가능한'확장 프로그램 호출 :

 variable admin[%transferable%] role := @tz1iawHeddgggn6P5r5jtq2wDRqcJVksGVSa
 

2 개의 진입 점 assign_new_admin 및 confirm_new_admin을 생성합니다.

디자인 관점에서 우리는 쉽게 읽고 신뢰를 전달할 수 있도록 가능한 한 단일 소스 파일에 계약을 유지하려고 노력했습니다. 예를 들어,대부분의 이더 리움 계약은 일반적으로 상속 메커니즘에 의해 말 그대로 수십 개의 소스 파일로 산산조각이 나고,우리는 스마트 계약이 어떻게 생겼는지와는 정반대라고 생각했습니다.

확장 프로그램은 현재 버전 (0.1.12)에서 아직 사용할 수 없지만 곧 제공 될 예정입니다 (몇 가지pull 요청이 있습니다 ...).

계약 간 커뮤니케이션

Archetype에서 계약 호출에 대한 지원이 있습니다. 예를 들어 다음 Archetype 계약은 KT1RNB9PXsnp7KMkiMrWNMRzPjuefSWojBAm

 archetype contract_caller

contract contract_called_sig {
   action set_value (n : int)
   action add_value (a : int, b : int)
}
variable c : contract_called_sig = @KT1RNB9PXsnp7KMkiMrWNMRzPjuefSWojBAm


action update_value(n : int) {
  effect {
    c.set_value(n)
  }
}

action add_one(n : int) {
  effect {
    c.add_value(n, 2)
  }
}
 

계약 서명은 contract 키워드와 함께 제공되어야하며 계약 호출은 객체에 대한 메서드 호출과 유사합니다.

이 기능은 개발 브랜치에서 사용할 수 있으며 곧 다음 릴리스에서 사용할 수 있습니다 (일반적으로 몇 주 내에 0.1.13).

Here is a complement to Arvid's answer regarding Archetype:

Reuse and modularity

Indeed Archetype's extensions are reusable codes to add features to a contract. For example, using the 'transferable' extension on a role adds to the contract the necessary actions (ie entry points) to transfer the role to another address.

For example, invoking the 'transferable' extension on an admin role:

variable admin[%transferable%] role := @tz1iawHeddgggn6P5r5jtq2wDRqcJVksGVSa

will generate the two entry points assign_new_admin and confirm_new_admin.

From a design perspective, we have tried to keep the contract in a single source file as much as possible, for ease of reading and trust-carrying purposes. Most of Ethereum's contracts, for example, are usually shattered in literally dozens of source files by inheritance mechanisms, and we thought it was the opposite as what a smart contract should look like.

Extensions are not available yet in the current version (0.1.12) but will be soon (they are a few pull requests away ...).

Inter contract communication

There is support for contract calling in Archetype. For example, the following Archetype contract calls a contract at address KT1RNB9PXsnp7KMkiMrWNMRzPjuefSWojBAm

archetype contract_caller

contract contract_called_sig {
   action set_value (n : int)
   action add_value (a : int, b : int)
}
variable c : contract_called_sig = @KT1RNB9PXsnp7KMkiMrWNMRzPjuefSWojBAm


action update_value(n : int) {
  effect {
    c.set_value(n)
  }
}

action add_one(n : int) {
  effect {
    c.add_value(n, 2)
  }
}

We see that the contract signature must be provided with the contract keyword and that the call to the contract is similar to invoking a method on an object.

This feature is available in the dev branch and will be available soon in the next release (0.1.13 typically in a couple of weeks).

Archetype/Ligo는 현재 Michelson이 할 수있는 모든 것을 제공합니까,아니면 둘 중 하나에 제한이 있습니까?

나는 Ligo가 아닌 Michelson에서 가능한 것이 있다면 아마도보고 할 가치가있는 버그 일 것입니다. Ligo 개발자들은 보통 이러한 종류의 문제에 신속하게 답변합니다.

아키타 입은 의도적으로 튜링이 완료되지 않았으며 특히 아키 타입에서 무한 루프를 수행 할 수 없습니다 (제한되지 않은 루프는 LOOP 및 LOOP_LEFT에서 지원됨).

Do Archetype/Ligo provide everything that Michelson can currently do, or are there limitations with either?

I think if something is possible in Michelson and not in Ligo, it is probably a bug worth reporting, the Ligo devs usually quickly answer these kinds of issues.

Archetype however is purposely not Turing complete and in particular you cannot do unbounded loops in Archetype (unbounded loops are supported by the LOOP and LOOP_LEFT).

질문 3과 관련하여 @ezy 발언에 이어 SmartPy는 Inline Michelson 템플릿 (현재 https://SmartPy.io/dev ).

여기에서 액세스 할 수 있습니다. https://smartpy.io/dev/index.html?template=inlineMichelson.py .

 import smartpy_michelson as mi

...

    @sp.entry_point
    def concat(self, params):
        concat = mi.operator("CONCAT", [sp.TList(sp.TString)], [sp.TString])
        self.data.s = concat(["a", "b", "c"])

    @sp.entry_point
    def seq(self, params):
        self.data.value = abs(mi.seq([mi.ADD(), mi.MUL(), mi.DUP(), mi.MUL()], 15, 16, 17))
 

With respect to question 3, following @ezy remark, SmartPy has some inlining capabilities including with new opcodes as shown in the Inline Michelson template (of the new version, currently https://SmartPy.io/dev).

It's accessible here: https://smartpy.io/dev/index.html?template=inlineMichelson.py.

import smartpy_michelson as mi

...

    @sp.entry_point
    def concat(self, params):
        concat = mi.operator("CONCAT", [sp.TList(sp.TString)], [sp.TString])
        self.data.s = concat(["a", "b", "c"])

    @sp.entry_point
    def seq(self, params):
        self.data.value = abs(mi.seq([mi.ADD(), mi.MUL(), mi.DUP(), mi.MUL()], 15, 16, 17))