← Back to context Comment by fshacf 1 day ago You have a public repo of this? 1 comment fshacf Reply proof_by_vibes 20 hours ago Yes: https://github.com/rj-calvin/sodiumThe 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.
proof_by_vibes 20 hours ago Yes: https://github.com/rj-calvin/sodiumThe 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.
Yes: 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.