{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:golang/github.com/Veridise/Picus","name":"github.com/Veridise/Picus","description":"Automated verification of uniqueness property for ZKP circuits","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/Veridise/Picus","issueTracker":"https://github.com/Veridise/Picus/issues","url":"https://github.com/Veridise/Picus","programmingLanguage":{"@type":"ComputerLanguage","name":"Circom"},"dateModified":"2026-10-06","datePublished":"2026-10-06","softwareHelp":{"@type":"WebSite","url":"https://pkg.go.dev/github.com/Veridise/Picus#section-documentation"},"applicationCategory":"go","runtimePlatform":"go","developmentStatus":"active","sameAs":["https://pkg.go.dev/github.com/Veridise/Picus"],"https://www.w3.org/ns/activitystreams#likes":98,"https://forgefed.org/ns#forks":13}