The Zock repo is located here. It is under very active development and subject to rapid change. It will be documented upon completion. Prelude: Nock Uqbar's ZK prover (Zock) is designed for Nock, Urbit's assembly language Those interested in Nock can read a
Zock: ZK Proofs in Uqbar
Zock: ZK Proofs in Uqbar
Zock: ZK Proofs in Uqbar
The Zock repo is located here. It is under very active development and subject to rapid change. It will be documented upon completion. Prelude: Nock Uqbar's ZK prover (Zock) is designed for Nock, Urbit's assembly language Those interested in Nock can read a