Results 3 issues of EDGD

In the 'User_and_product_embeddings.ipynb' there is a requirement to load 'output/embedded_babbage_similarity_50k.csv'. A comment states that this file needs to be generated in advance, but there is no clear file to use...

https://github.com/docknetwork/crypto/blob/2eee4a6a6cba58c92e18ad5557d6b1a7a4730cfe/compressed_sigma/src/amortized_homomorphism.rs#L79 We check `if witnesses.len() > j`, but `j < witnesses.len()` by definition so this is trivially true.

After cloning the repo and running the examples as per the instructions in the readme files, we have these issues: 1. When running `RUST_BACKTRACE=1 cargo run --release --example halo2_example` we...