Coby

@emlautarom1 sorry no one has responded to you, but a CircuitString is too long to fit in a smart contract. It is 128 `Field`s and a contract can only hold...

@Yoga2015 I cloned your repo zkapp-test and upgraded to o1js 1.6.0 and found that both scripts work ```sh ➜ zkapp-test git:(main) ✗ npm run step1 > [email protected] step1 > tsc...

Running Yoga's original example with `forceRecompile: false` still hangs as well. They must have updated to using `forceRecompile: true` after that workaround was discovered. @SpaceManiac in your snippet `getPreviousProof` is...

Whatever this bug is, it seems deeply lodged in the Pickles code. Here's what I found... There are 2 cases I looked at (mostly all reproducing what @SpaceManiac has already...

> we will probably only resolve this issue by digging into the Ocaml/Rust verification code and finding out what implicit assumptions it makes on objects that exist @mitschabaude it looks...

@andrewferrone, the best workaround at the moment is to compile an empty zk program, then use a cached proof from disk. For instance ``` const NoopProgram = ZkProgram({ name: 'NoopProgram',...

Fair enough. We are working on this and prioritizing the fix. The work around should unblock many users, but I agree it’s not a suitable solution for your use case.

@mrmr1993 I'll do my best :) thanks for pitching in!

Hey @SebastienGllmt, @andrewferrone, @kadirchan and others. We just released o1js version 1.9.0 which should fix this issue! Please re-open this issue if it is still not working for you :)

@mitschabaude How would you suggest to use libraries in that case? I've always had this issue with `o1js-pack`, and an easy fix is to copy-paste the source code from that...