Andy Tang
Andy Tang
@emilypi My z3 verions was: ``` z3 --version Z3 version 4.8.12 - 64 bit ``` @rsoeldner after reviewing my test I think I should have written this to express better...
If I add an `invariant` check on the table, it resolves within time (granted fails as expected, but resolves): ``` (defschema stake-schema @model [ (invariant (>= balance 0.0)) ] owner:string...
Hey @rsoeldner I believe checking for a value before modification is not that uncommon if we consider a table to hold a state. For example a order status, where the...
The idea is atm indeed only taking 1 sig per account for this idea. Probably could expand it to multi sig similar to how we do it on chain, but...
After some further testing you could do something like this: ``` (try (with-read table "id" { 'foobar := foobar } foobar) (with-read table "id" { 'foo:= foo , 'bar:= bar...
I've added the following tests: ``` (expect "hashing clientdatajson should result in the same hash" "0n-BTHjCrUTiOhN1wWgcacSvrpL-4gyuAPAp5-_5i1I" (sha-256 "eyJ0eXBlIjoid2ViYXV0aG4uZ2V0IiwiY2hhbGxlbmdlIjoiWVRNek1HWmtNakV4T0RRMU9XRmtaamRrTW1Kak1qUTJZMkpqWW1KalpHTTVZemhtTnpkaU5UVTFZakZqWWpWak5UZ3lNR0kzTW1JelpqazFOVFl3TlEiLCJvcmlnaW4iOiJodHRwOi8vbG9jYWxob3N0OjEzMzciLCJjcm9zc09yaWdpbiI6ZmFsc2V9")) (expect "same sig" "svaPFnKK5EUpBSnECZsrMCchQxyjRIwlsyRCj2pNAZRkr_W69RSiev0gNgU2la39dLkzMmaND8XlixyWL4t-vA" (base64-concat ["SZYN5YgOjGh0NBcPZHZgW4_krrmihjLHmVzzuoMdl2MFAAAABw" "0n-BTHjCrUTiOhN1wWgcacSvrpL-4gyuAPAp5-_5i1I"])) (expect "authenticator data to be...
The above mentioned tests are incorrect, made some copy paste errors for the values... resulting in the false negatives. Below are the rectified tests: ``` (expect "hashing clientdatajson should result...
> How would the recovery flow look like in case I lose access to the hardware device that I authorized? This is a problem that used to exist with "pure...
@daplcor > Couple of questions/concerns/thoughts on this subject. > > I have a slightly different idea/use case for integrating this as on chain multi-factor with a multisig key. In the...
I'd suggest to update the `create-account` to have a `creation-key-set` to encourage users to create their `k:account` with a different keyset compared to the keysets used to sign for. This...