More details are provided on my github, where I'm also nearly finished with a proof-of-concept implementation of bitvm for bristol circuits:
I've seen you (as in, on YT) code in sublime. And I thought that was impressive.
But this is so next level, I can't even.
To put it another way: I might know someone who knows someone who knows something about bristol circuits, if you catch my drift.
Thanks for the introduction!
reply