DFST

Signature verification in SmartContract sometimes throw "Commit failed Error: Option.value_exn None" in o1js 0.18.0

9

Proving the following code with o1js 0.18.0 ```typescript @method async approveEscrow( signature: Signature, owner: PublicKey ) { Provable.log("owner", owner); Provable.log("signature", signature); signature.verify(owner, [Field(2)]).assertEquals(Bool(true)); } ``` throws the error while proving....

Change wording of the error "Verification_failed (Invalid_proof "In progress")" to "Verification key is missing on account or does not match the verification key of the compiled contract"

12

I see many questions on the discord on the error `Verification_failed (Invalid_proof "In progress")` Usually, it means that - The contract is not deployed - The contract was deployed using...

Hardcode the genesis timestamp because it is used as a constant in constraints

9

this.network.timestamp gives incorrect time and throw "the permutation was not constructed correctly: final value" error when calling tx.prove() on devnet: ``` [4:09:35 PM] timestamp : 1793613780000 [4:09:35 PM] currentTime: 1713359375661...

Allow to call Transaction.sign() several times

6

Proposal: make it possible to call .sign several times ``` typescript tx.sign([zkAppPrivateKey]); tx.sign([deployer]); ``` It will allow to call the function that signs the tx without disclosing the privateKey: ```...

fetchAccount() throws "TypeError: Cannot destructure property 'publicKey' of 'account' as it is null." error on accounts not included into ledger

1

Calling fetchAccount() for the account not included in the ledger with o1js 0.18.0 and one of the following devnet endpoints: ``` https://proxy.devnet.minaexplorer.com/graphql https://api.minascan.io/node/devnet/v1/graphql ``` throws the following error: ``` TypeError:...

The following error is being thrown when calling SmartContract method without `await`: ``` Error: It seems you're running multiple provers concurrently within the same JavaScript thread, which, at the moment,...

ZkProgram.compile() gives wrong wrap domain size error in o1js 0.18.0

2

While compiling the ZkProgram using o1js 0.18.0, the following error occur: This circuit was compiled for proofs using the wrap domain of size 14, but the actual wrap domain size...

When compiling (without existing cache) or proving on AWS Graviton2 ARM processor, o1js hangs out. All other o1js code works as intended. Compilation also works if the prover keys have...

transaction.sign produces an invalid signature after import from JSON

5

In case the transaction is exported to JSON, then imported from JSON, signed after import, and sent, the “Check signature: Invalid signature” error is thrown, and the authorization field of...

Add toJSON() and fromJSON() to MerkleTree

2

It takes a long time to build MerkleTree and MerkleMap from the elements. It is 100 times faster to load the MerkleMap from the JSON file. MerkleTree.nodes is a private...