Christian Lewe

You could use the Schwartz-Zippel lemma to argue that a non-zero polynomial is exponentially likely to be zero at a random point, so it must be the zero polynomial, but...

The original commitment A is known so the main diagonal of the first matrix can be excluded, but we also transform the original problem instance into a smaller one. Each...

The `c_jet_env` is useful in generic code over `J: Jet`. It is the only way to transform `J::Environment` to `J::CJetEnvironment`. I use `c_jet_env` inside the web IDE to implement jets....

Oops, I didn't realize that I am touching auto-generated files. I will make a PR to libsimplicity.

Depends on https://github.com/BlockstreamResearch/simplicity/pull/230

I was able to replace stdio.h with stddef.h in #207. Assertions are still a problem. Maybe we can [define our own assertions like libsecp](https://github.com/bitcoin-core/secp256k1/pull/54). We still have to tell the...

I added a separate jet target to the Makefile: #215

Fixed by #222

I was using a tech report from one year ago; oops. Most of the jet names have been fixed. However, it's still `tap-leaf-hash` in the tech report and `tapleaf_hash` in...

Finalizing witness nodes also leads to the loop: ``` let program = Arc::::case( &Arc::::drop_(&Arc::::iden()), &Arc::::iden(), ) .expect("const") .finalize() .expect("const"); ``` The code runs fine without `.finalize()`.