RileyBettslean-tee1.0.1

Lean-specified zkTEE: measured guest execution, hashed receipts, lean-grpc APIs
#tee #zkvm #grpc #compliance #attestation
Sort by
  1. Git dependency.
    Found on Reservoir.

    lean-grpcv1.1.0

    Pure Lean 4 gRPC stack (HTTP/2 + HPACK + gRPC) on Std.Async