is the user creating a contract recorded in the state of the contract?

[vd1]

Or is that a piece of data that one has to add by hand in C.construct?

[adhusson]

You add it by hand.

[adhusson]

(it's the caller in construct, no need to add it as an argument)

[vd1]

So I add a field let originator = data ~init:"" "originator" in the contract , and I put something like data_set originator get_caller in construct?

It doesn't really typecheck:

15 |     data_set originator get_caller
                             ^^^^^^^^^^
Error: This expression has type Address.t st
       but an expression was expected of type string

Can I store directly the address of the caller in originator instead of a string?

[adhusson]

That's the idea! You start with

let originator = data ~pp:Address.t "originator"

(no need for an initial value here, you will provide it in the constructor; anyway the initial value would have to be a dummy address to typecheck)

Then you can do

get_caller >>= fun caller -> data_set originator caller

or alternatively

let* caller = get_caller in data_set originator caller

the issue with data_set originator get_caller is that get_caller:Address.t st, while data_set: 'a key -> 'a -> unit st. That is: get_caller will return an address when given an environment, while data_set wants an address; doing

get_caller >>= fun caller -> data_set originator caller

composes 1) the application of get_caller to an environment and 2) the use of get_caller's return value by data_set.

[vd1]

Yes OK! top it works except that I just do
let originator = data "originator"
because else I get

File "bin/example2_vd.ml", line 8, characters 28-37:
8 |   let originator = data ~pp:Address.t "originator"
                                ^^^^^^^^^
Error: Unbound value Address.t
a```

[vd1]

the fun thing is that I can change the originator - so the access policies change over time:
tx userA c1A C1.set_originator userB
here userA cedes control of the phrase to userB as I modify the auth_code to this:

let auth_code1 = fun () ->
      let* caller = get_caller in
      let* orig = data_get C1.originator in
      if (caller = orig)
      then return ()
      else error "Not allowed to do this!" 

with this in place one needs to add little to be able to sell irreversibly the "admin rights" of a given contract! Of course you also have to be careful that only the current owner can change the owner field.

[adhusson]

My bad I meant Address.pp!

[vd1]

got it!