I gave a lightning talk about this in 2019 https://www.youtube.com/watch?v=fYKxdb0YcXs
I think I'm finally ready to buidl it (except for the DAG consensus part). Implement a Constraint Checker that models the pi calculus. Build a rholang-like language that is modeled in the pi calculus as a means for smart contracting.
I gave a lightning talk about this in 2019 https://www.youtube.com/watch?v=fYKxdb0YcXs
I think I'm finally ready to buidl it (except for the DAG consensus part). Implement a Constraint Checker that models the pi calculus. Build a rholang-like language that is modeled in the pi calculus as a means for smart contracting.