11 ms·
Similarly down this path I found Factor. A different approach but supports backtracking. https://factorcode.org/ https://factorcode.org/
by dfischer 6y ago
Similarly down this path I found Factor. A different approach but supports backtracking. https://factorcode.org/ https://factorcode.org/
- KMag 6y agoI'm familiar with factor. The thing about factor is that its execution semantics depend on execution order (i.e. imperative), which makes it impractical / unsafe to allow clients to provide verifiers with an optimal execution order for verifying a contract.