Affected by 
README
¶
WARNING: this is an experimental feature and might not stay in gnark main repository in the future.
gnarkd
gnarkd is a gnark Proving / Verifying server.
It offers synchronous gRPC APIs (use when proving time & witness size are short) and asynchronous APIs.
See pb/gnardk.proto for up to date protobuf service description.
gRPC clients can be generated for multiple languages (Go, Rust, ...) see protoc doc for more info.
In go:
protoc --experimental_allow_proto3_optional --go_out=. --go_opt=paths=source_relative --go-grpc_out=. --go-grpc_opt=paths=source_relative pb/gnarkd.proto
Under the hood
When gnarkd starts, it loads the circuits defined in circuits/ folder. Circuits must be stored in a separate folder, under a curve subfolder.
Example:
circuits/bn254/cubicwill containcubic.pk,cubic.vkandcubic.r1cs.- CircuitID (as needed in the APIs) is then
bn254/cubic
gnarkd listens on 2 distinct TCP connections: one for gRPC, one for receiving large witnesses on async calls.
On this second connection, the server expects: jobID | witness .
jobIDis returned byCreateProveJoband is a standard UUID (RFC 4122) on 16 byte (server impl usesgithub.com/google/uuid)gnarkdknows which witness size to expect (viar1cs.GetNbPublicWires,r1cs.GetNbSecretWiresandr1cs.SizeFrElement)
Example client (Go)
See client/example.go.
Documentation
¶
Overview ¶
Package gnarkd provides experimental gRPC endpoints to create and verify proofs with gnark.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package client provides a minimalist example of a gRPC client connecting to gnarkd/server.
|
Package client provides a minimalist example of a gRPC client connecting to gnarkd/server. |
|
Package server implements a gRPC server following protobuf description of the proof service in gnarkd/pb.
|
Package server implements a gRPC server following protobuf description of the proof service in gnarkd/pb. |