zkproof topic

List zkproof repositories

hyperbridge

111
Stars
37
Forks
Watchers

Hyperbridge is a hyperscalable coprocessor for verifiable, cross-chain interoperability

halo2-verifier.move

17
Stars
3
Forks
Watchers

A set of tooling of halo2 circuits verification in Move environments

zkp-hmac-communication-python

494
Stars
32
Forks
494
Watchers

"Zero-Knowledge" Proof Implementation with HMAC Communication in Python

zkp-hmac-communication-js

259
Stars
30
Forks
259
Watchers

"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript

zkp-hmac-communication-go

127
Stars
3
Forks
127
Watchers

"Zero-Knowledge" Proof Implementation with HMAC Communication in Go

WTF-zk

685
Stars
100
Forks
Watchers

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP