Circom Unit Testing

Description

In this hands-on Learning Group 1 workshop, we upgrade a fork of TornadoCash to use the Poseidon hash. We also demonstrate how to unit-test your circuits and contracts.

Pre-Session Reading/Setup

We recommend you inspect the TornadoCash core codebase here: https://github.com/tornadocash/tornado-core/

CC has also included session notes here: https://hackmd.io/ISJ8sw7HTgysMNe0hW8iTA

Slides Link(s)

https://docs.google.com/presentation/d/1G1zQjTKPKclUtwaYidek07eceL7BB1rZ0nMH39dU3yw/edit

Repo Link(s)

https://github.com/ChihChengLiang/poseidon-tornado

Additional Notes, Links, References

• WJ’s benchmarks for various cryptographic tree accumulators: https://ethresear.ch/t/gas-and-circuit-constraint-benchmarks-of-binary-and-quinary-incremental-merkle-trees-using-the-poseidon-hash-function/7446