C3N

Last month saw the first smart contract deployed on Tezos by a government authority (French cybercrime unit)
Tezos Smart Contracts Already Being Used by French Army - BeInCrypto
Nomadic Labs has shared that the French Army has been utilizing Tezos to validate its judicial expenses for its cybercrime division.
beincrypto.com
Below is the Michelson of the contract (see it on better call dev): 
{
{ { DUP ; CAR ; DIP { CDR } } ; { DUP ; CAR @newadmin ; DIP { CDR } } ; DIP { { DUP ; CAR @oldhash ; DIP { CDR @newhash } } } ; DIP { DIP { DIP { { DUP ; CAR @storedadmin ; DIP { CDR @storedhash } } } } } } ;
SWAP ;
{ DIP { DIP { DIP { SWAP } } } } ;
{ DIP { DIP { SWAP } } } ;
DIP { SWAP } ;
{ DIP { DIP { DIP { SWAP } } } } ;
{ DIP { DIP { SWAP ; DUP ; DIP { SWAP } } } } ;
{
{ COMPARE ; EQ } ;
IF { }
$ELSE { { UNIT ; FAILWITH } }
} ;
SENDER ;
SWAP ;
{ DIP { DIP { PUSH @admin bool false } } } ;
ITER { DIP { DUP } ; { COMPARE ; EQ } ; SWAP ; DIP { OR @admin } } ;
DROP ;
{
IF { }
$ELSE { { UNIT ; FAILWITH } }
} ;
IF_NONE { }
$ELSE { DIP { DROP } } ;
NIL operation ;
{ DIP { PAIR %admin %hash } ; PAIR %op }
}
For those who are not fluent in stack machine, here is the transcription to Archetype:
archetype c3n
​
asset admins {
  addr : address;
}
variable hash : string = "..." (* to set to initial value *)
action register (newadmins : admins collection option,
                 oldhash   : string,
                 newhash   : string) {
  require {
    r1 : oldhash = hash;
    r2 : admins.contains(caller);
  }
  effect {
    hash := newhash;
    let some newa = newadmins in
      admins := newa
    otherwise
      ()
  }
}
​
Quite straightforward, isn’t it?
Mini DAO
Next - Contract library
Digital Assets
Last updated 4 weeks ago