Dan Connolly

docs say they have [typed references](https://www.cairo-lang.org/docs/how_cairo_works/consts.html#typed-references) as well as int/felt and struct. I wonder if that makes it a feasible Jessie compilation / translation / interpretation target. another possible mechanism:...

From recent discussion: > something as innocent as `amount.brand` by the defender enables the attacker to reenter at that moment this made me wonder about tools to help review for...

coq translation of Jessie parser, interpreter

2

_a sort of tooth-brushing idea this morning..._ for integration with stuff like [HolisticSpecifications](https://github.com/sophiaIC/HolisticSpecifications) much like the C parser in the seL4 formalization

compile Jessie to AssemblyScript?

5

When I first looked at AssemblyScript, it seemed kinda silly - you might as well write C if all you get is integer types and such. But this week I...

huge slog data:... URL in stack trace

2

@michaelfig any idea why this huge data URL is in the stack track or how to get rid of it? ``` error: Syntax error at 752 "m" #0:752 Error at...

export { makeIssuerKit }; allowed?

1

`exportDecl` doesn't seem do include it, but it's used in issuer.js https://github.com/Agoric/agoric-sdk/blob/ba0de38918b4bfab5bf56a01faee13ea3a30ed1f/packages/ERTP/src/issuer.js#L295

experience report: issuer.js

2

comparing [issuers.js][1] vs. the grammar here (via [a scala implementation][2]), I ran across - #32 `import './types';` - `new Error(...)` which, I gather, can be rewritten as `Error(...)` with no...

import './types' allowed?

1

https://github.com/Agoric/agoric-sdk/blob/55bdaf75df70d6942a8c839bf262adfe17689b66/packages/ERTP/src/issuer.js#L16

https://github.com/agoric-labs/jessica/blob/633e56581c83474bdc247ecd59d5eeac5d72b944/lib/quasi-jessie.js.ts#L188-L191 There was a "Initializer is mandatory" comment as of Jun 5 2018 https://github.com/Agoric/Jessie/blame/a794135cad9bb82626068b13f0838a70169654de/src/tinyses.js#L276

https://github.com/agoric-labs/jessica/blob/633e56581c83474bdc247ecd59d5eeac5d72b944/lib/quasi-jessie.js.ts#L265-L266 see also https://github.com/Agoric/Jessie/issues/45 I ran into this while working on https://github.com/rchain-community/js2rho/blob/notary/examples/iddb.js motivation: https://github.com/rchain-community/rv2020/issues/32#issuecomment-670833131