Andy Tang

## Is your enhancement request related to a problem? Please describe. When a invalidating model has been found, we print the path it took to reach that invalidating model, but...

FV: Error reporting on db model before tx invalidated

2

## Is your enhancement request related to a problem? Please describe. When you define a property specifying the state of a table before the transaction and the code does not...

Formal Verification: Multiple tables with multiple input variables

5

It seems like when I'm doing a formal verification of a function involving multiple tables with multiple input variables the verification times out. See the following test: ``` (load "root/fungible-v2.pact")...

When attempting to FV on a function where multiple `coin.transfer` are executed, the FV model becomes so big that it practically hangs for ever. ``` (load "root/fungible-v2.pact") (load "root/fungible-xchain-v1.pact") (load...

In order to test contracts that do `cross-chain` transactions, it would be very helpful if the `repl` separates the data written to tables per `chain-id` in `env-chain-data`. This might also...

Schema Migration annotations

1

Currently migrating deployed schema's is very cumbersome to maintain. You could attempt to migrate schema's like: ``` (defschema old-schema old: string) (defschema new-schema new: string) (defun get-row(id: string) (try (with-read...

When defining a table with not enough arguments the wrong error message gets thrown

2

When defining a table with not enough arguments, I received the following error: ``` pact/offchain.pact:56:6:OutputFailure: native function supplied too many args: [Table n_bd7f56c0bc111ea42026912c37ff5da89149d9dc.offchain.offchain-pool11::table:{n_bd7f56c0bc111ea42026912c37ff5da89149d9dc.offchain.offchain-pool-schema}, Object object12::object:* {"accounts-count": Prim integer13::integer = LInteger...

Provide a verify signature function

5

I believe there is a relatively cheap way to provide for offchain transactions. In order to do so I'd need a way to verify a signature. ``` (defun verify-sig:boolean (public-key:string...

Scoped KIP down to dapp wallet connection

Create KIP-0023: Account management with Passkeys

5

# Abstract We propose to use WebAuthn signatures as an alternative option to the current ED25519 signatures to allow users to approve for transactions processed through Chainweb Node and Pact...