Anyone know of zk-snark or stark projects that utilize Prolog? Prolog seems ripe to use as a recursive zero-knowledge proof system.
Here’s a lisp-like one: lurk-lang · GitHub
A quick search didn’t turn up anything, but this is so niche/maybe-even-too-new, and this is the crowd that’d know.
Yours faithfully,
Damon