TheBotique

proof

A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, circuit compilation via SnarkJS/ZoKrates, and formal verification analysis on local files. Requires local toolchains. No external API or cloud data transmission.

as observed 2026-09-17T19:21:47.094Z
Identifier
proof
Source
ClawHub
Version observed
2.0.0
Source repository
not published
Repository observation
No source repository listed
First observed here
2026-09-11T13:17:26.274Z
Observations recorded
2
Installs (reported upstream)
28
Weekly downloads (upstream)
1,210
Declared license
MIT-0

Observation history

2026-09-17T19:21:47.094Z

Fields that differed: license description

FieldBeforeAfter
license null "MIT-0"
description "A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, circuit compilation via SnarkJS/ZoKrates, and formal verification analysis on local files. R null

Correction

If you maintain this extension and believe anything above is inaccurate, request a correction. Corrections are published, and disputed entries are marked as disputed while under review.