search

microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
673 stars 176 forks source link

Solidity Verfier #319

Closed Ayoub-47 closed 5 days ago

Ayoub-47 commented 2 months ago

Hello, is there an existing solidity verifer for Nova?

srinathsetty commented 2 months ago

Hi @Ayoub-47 It does not exist, yet.

tazullogicuk commented 2 months ago

You can try this: https://github.com/lurk-lab/solidity-verifier however, there have few others verifier available.

srinathsetty commented 5 days ago

This is already tracked in #116, so closing this.