zheng/specs/pcs.md polynomial commitmentspolynomial commitment schemePCSlenslenses cyber computer science cryptography entity computer science ฯ 0.0% polynomial commitment scheme (lens) migrated to lens/reference/trait Local Graph