[ANN] Veridise Formal Verification of Gadgets and Circuit Audit

Link: https://gist.github.com/kayabaNerve/0de6320b67357dd348fba3ce80bf537d

Author: kayabaNerve

Contact: kayabaNerve (Github)

Note:

This is a free community message from kayabaNerve.

Read the service announcement for more info.

Always DYOR and make use of reputable escrow services. I do not/can not verify anything. Report any suspicious messages.