Zoom Logo

ACTUS Users Forum - Shared screen with speaker view
Jeremy Laster
08:33
Hi everyone!
Mike Bennett
12:16
Oops, we are not muted by default!
nils
17:27
hi Jeremy and all, great to have you here!
nils
17:34
thanks for muting Mike
ACTUS UserForum
24:00
so Marlowe is essentially implementing the escrow paradigm
Jeremy Laster
39:49
How many ACTUS contracts have been implemented into Marlowe?Are these stored as templates for every ACTUS standard?Referencing the taxonomy: https://www.actusfrf.org/taxonomy
Simon Thompson
40:40
We’re been looking at PAM at the moment, but others on the way
Simon Thompson
40:52
Dmytro will say more
ACTUS UserForum
54:18
Verification that an event is “authorized” based on the formal definition of the financial product is also what the ISDA Common Domain Model framework aims to accomplish
Richard Ross
54:37
is the language Turing/
Richard Ross
54:55
Turing-complete?
Simon Thompson
55:14
Hi Richard: Marlowe not Turing-complete, but Plutus is Turing complete
Richard Ross
55:26
why use fixed point?
Simon Thompson
55:58
Sorry Richard, I didn’t understand the question
ACTUS UserForum
56:22
Fixed point arithmetic can be performed by an interpreter without requiring floating point hardware
Simon Thompson
56:40
Ah yes, sorry I was thinking about recursion.
ACTUS UserForum
56:44
floating point computation is compute-intensive
Simon Thompson
57:00
Videos: https://www.youtube.com/playlist?list=PLqu19-ygE4ofUgGpslOs5zCr9Z6zCMibq
Videos 2: https://www.youtube.com/playlist?list=PLqu19-ygE4ofEeRfUiA-DYKRk9I3V9c1Q
Richard Ross
57:06
why using fixed point numbers instead of floating point in non-HP version?
Simon Thompson
57:40
Richard, sorry I got confused with fixed point and recursion.
Richard Ross
58:25
floating point hardware?? it’s been part of every chop since 1978 or so, right?
Alex Nemish
58:41
We implemented user inputs (choices), time (slots) and computation results as Integer
Alex Nemish
58:49
which is sort of BigInteger
Mike Bennett
58:56
Are you using colored tokens then (custom tokens to represent roles).
Mike Bennett
59:07
Can it be used on other DLTs e.g IOTA?
Richard Ross
59:17
floating point is no slower than integer. all cycles are memory access in fact
Alex Nemish
01:01:06
We do use tokens to represent roles. Tokens are first class in Cardano, so roles are tradable, transferable etc
Mike Bennett
01:01:57
To Allan's poit (there is no good or service), a broader ontology based on REA, with ACTUS terms embedded, would address this.
ACTUS UserForum
01:03:14
(1) an interpreter engine can perform fixed-point arithmetic without requiring access to hardware(2) floating point (exponential notation) is ultimately not precise
Alex Nemish
01:04:01
Our thinking was mainly that you should not do financial computations with floating point either way
Alex Nemish
01:04:49
and this simplifies implementation of Marlowe as well :)
Ioannis.Akkizidis
01:06:40
Thank you the meeting and the interesting presentations. I have to step out joining another call!
nils
01:07:06
great to have you here ioannis
Simon Thompson
01:10:26
simon.thompson@iohk.io