You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Nomos looks great. I'm curious if the team has done any thinking about Cardano's EUTXO's model, the plutus-core codebase and contracts that invoke it, etc.? I'm a proof engineer on a new decentralized exchange for Cardano, just doing basic research into what strategies might be viable. If I translated our spec to nomos I could prove properties about the spec, modulo the human implementing the translation process, but I couldn't prove anything about the implementation.
The broader question is what would have to happen for nomos to be a viable proof engineering tool for Cardano developers?
The text was updated successfully, but these errors were encountered:
Hello!
Nomoslooks great. I'm curious if the team has done any thinking about Cardano's EUTXO's model, theplutus-corecodebase and contracts that invoke it, etc.? I'm a proof engineer on a new decentralized exchange for Cardano, just doing basic research into what strategies might be viable. If I translated our spec tonomosI could prove properties about the spec, modulo the human implementing the translation process, but I couldn't prove anything about the implementation.The broader question is what would have to happen for
nomosto be a viable proof engineering tool for Cardano developers?The text was updated successfully, but these errors were encountered: