4 ms·
You have a public repo of this?
by fshacf 9mo ago
You have a public repo of this?
- proof_by_vibes 9mo agoYes: https://github.com/rj-calvin/sodium https://github.com/rj-calvin/sodium The bindings are set and have a monadic interface, but there's some abstractions that still need refining/iterating: mostly I want to be able to formalize keyboard input and eventually build a tactic framework for zero-knowledge proofs.