Victor Sint Nicolaas
@VicSintNic
Replying to @ShieldFi
@ShieldFi is a fortress. Over the past years we've done:
- A Lean impl of the proof system (thx @Zcash for paving the way!)
- ACL2 impl of our circuits and consensus (thx Kestrel!)
- TLA+ impls for smart contract invariants (thx @trailofbits !)
- An easycrypt impl for the VM
- A Lean impl of the proof system (thx @Zcash for paving the way!)
- ACL2 impl of our circuits and consensus (thx Kestrel!)
- TLA+ impls for smart contract invariants (thx @trailofbits !)
- An easycrypt impl for the VM
0 9