StorageCircuit - Error when key doesn't exist

[zemse]

While generating storage proof for a non-existent account at a particular block height or on a non-existent/null storage slot on an account, the verification fails:

End:     Create proof ..............................................................69.599s
thread '<unnamed>' panicked at 'assertion failed: {\n
    let mut transcript_read =\n
        PoseidonTranscript::<NativeLoader,\n
                &[u8]>::from_spec(&proof[..], POSEIDON_SPEC.clone());\n
    VerificationStrategy::<_,\n
            V>::finalize(verify_proof::<_, V, _, _,\n
                    _>(params.verifier_params(), pk.get_vk(),\n
                AccumulatorStrategy::new(params.verifier_params()),\n
                &[instances.as_slice()], &mut transcript_read).unwrap())\n
}', /Users/sohamzemse/Workspace/cloned-repos/axiom-snark-verifier/snark-verifier-sdk/src/halo2.rs:125:5
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Expected behavior: it should still generate proof for the non-existent slots since they would have an implied value of 0.

[jonathanpwang]

fixed in #24