{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:IUN7PJWQTH6ONZJMVZESCX7LUG","short_pith_number":"pith:IUN7PJWQ","canonical_record":{"source":{"id":"1610.05932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2016-10-19T09:36:01Z","cross_cats_sorted":["math.AC","math.IT"],"title_canon_sha256":"7c3bf53ee6ccf39e3baa5f8ac390277b0bab866380e324403f23d2a558b18587","abstract_canon_sha256":"34d5d2e8b31f701ca3c9e1334901f5bc3b3fe7d197ca4e7180c0d1c6801cd920"},"schema_version":"1.0"},"canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","source":{"kind":"arxiv","id":"1610.05932","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.05932","created_at":"2026-05-18T01:01:50Z"},{"alias_kind":"arxiv_version","alias_value":"1610.05932v1","created_at":"2026-05-18T01:01:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.05932","created_at":"2026-05-18T01:01:50Z"},{"alias_kind":"pith_short_12","alias_value":"IUN7PJWQTH6O","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"IUN7PJWQTH6ONZJM","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"IUN7PJWQ","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:IUN7PJWQTH6ONZJMVZESCX7LUG","target":"record","payload":{"canonical_record":{"source":{"id":"1610.05932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2016-10-19T09:36:01Z","cross_cats_sorted":["math.AC","math.IT"],"title_canon_sha256":"7c3bf53ee6ccf39e3baa5f8ac390277b0bab866380e324403f23d2a558b18587","abstract_canon_sha256":"34d5d2e8b31f701ca3c9e1334901f5bc3b3fe7d197ca4e7180c0d1c6801cd920"},"schema_version":"1.0"},"canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:50.654064Z","signature_b64":"muXJxiNP7WF/VBsrFzPZwi9eB+ol6z03WB3OAJh9ayRCpUJlb9BbxRmM7BDFTxHGA494ZIPs68DxZ3TKtLFpCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","last_reissued_at":"2026-05-18T01:01:50.653388Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:50.653388Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.05932","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:01:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fo9JOwpT44mpktq0nLacI/wZXNBA+sKSZjYAqmVKYWSvOzFOymGBw6lFae+wFhvmAtXHv1zwxQDDlOVCiTVpBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:36:57.065520Z"},"content_sha256":"3bc4b081a69143b433dea861412059d3b630009a4b45dc455a9dc858392dd208","schema_version":"1.0","event_id":"sha256:3bc4b081a69143b433dea861412059d3b630009a4b45dc455a9dc858392dd208"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:IUN7PJWQTH6ONZJMVZESCX7LUG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An algorithmic approach using multivariate polynomials for the nonlinearity of Boolean functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC","math.IT"],"primary_cat":"cs.IT","authors_text":"Emanuele Bellini, Massimiliano Sala, Teo Mora","submitted_at":"2016-10-19T09:36:01Z","abstract_excerpt":"The nonlinearity of a Boolean function is a key property in deciding its suitability for cryptographic purposes, e.g. as a combining function in stream ciphers, and so the nonlinearity computation is an important problem for applications. Traditional methods to compute the nonlinearity are based on transforms, such as the Fast Walsh Transform. In 2007 Simonetti proposed a method to solve the above problem seen as a decision problem on the existence of solutions for some multivariate polynomial systems. Although novel as approach, her algorithm suffered from a direct application of Groebner bas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.05932","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:01:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y8iZnL+qWjqnsjd4isC8EKF3X1JsThjHZP+/ne3R5m1oP0jfz6MH8XDR4m64VIZBcVIkV07M2oFmdy1dfZfxDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:36:57.065870Z"},"content_sha256":"96435a795e097b7b03130010070766d7a6ceb6470f4f8aae3dcb41257ab376c3","schema_version":"1.0","event_id":"sha256:96435a795e097b7b03130010070766d7a6ceb6470f4f8aae3dcb41257ab376c3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/bundle.json","state_url":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T22:36:57Z","links":{"resolver":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG","bundle":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/bundle.json","state":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:IUN7PJWQTH6ONZJMVZESCX7LUG","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"34d5d2e8b31f701ca3c9e1334901f5bc3b3fe7d197ca4e7180c0d1c6801cd920","cross_cats_sorted":["math.AC","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2016-10-19T09:36:01Z","title_canon_sha256":"7c3bf53ee6ccf39e3baa5f8ac390277b0bab866380e324403f23d2a558b18587"},"schema_version":"1.0","source":{"id":"1610.05932","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.05932","created_at":"2026-05-18T01:01:50Z"},{"alias_kind":"arxiv_version","alias_value":"1610.05932v1","created_at":"2026-05-18T01:01:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.05932","created_at":"2026-05-18T01:01:50Z"},{"alias_kind":"pith_short_12","alias_value":"IUN7PJWQTH6O","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"IUN7PJWQTH6ONZJM","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"IUN7PJWQ","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:96435a795e097b7b03130010070766d7a6ceb6470f4f8aae3dcb41257ab376c3","target":"graph","created_at":"2026-05-18T01:01:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The nonlinearity of a Boolean function is a key property in deciding its suitability for cryptographic purposes, e.g. as a combining function in stream ciphers, and so the nonlinearity computation is an important problem for applications. Traditional methods to compute the nonlinearity are based on transforms, such as the Fast Walsh Transform. In 2007 Simonetti proposed a method to solve the above problem seen as a decision problem on the existence of solutions for some multivariate polynomial systems. Although novel as approach, her algorithm suffered from a direct application of Groebner bas","authors_text":"Emanuele Bellini, Massimiliano Sala, Teo Mora","cross_cats":["math.AC","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2016-10-19T09:36:01Z","title":"An algorithmic approach using multivariate polynomials for the nonlinearity of Boolean functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.05932","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3bc4b081a69143b433dea861412059d3b630009a4b45dc455a9dc858392dd208","target":"record","created_at":"2026-05-18T01:01:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"34d5d2e8b31f701ca3c9e1334901f5bc3b3fe7d197ca4e7180c0d1c6801cd920","cross_cats_sorted":["math.AC","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2016-10-19T09:36:01Z","title_canon_sha256":"7c3bf53ee6ccf39e3baa5f8ac390277b0bab866380e324403f23d2a558b18587"},"schema_version":"1.0","source":{"id":"1610.05932","kind":"arxiv","version":1}},"canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","first_computed_at":"2026-05-18T01:01:50.653388Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:50.653388Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"muXJxiNP7WF/VBsrFzPZwi9eB+ol6z03WB3OAJh9ayRCpUJlb9BbxRmM7BDFTxHGA494ZIPs68DxZ3TKtLFpCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:50.654064Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.05932","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bc4b081a69143b433dea861412059d3b630009a4b45dc455a9dc858392dd208","sha256:96435a795e097b7b03130010070766d7a6ceb6470f4f8aae3dcb41257ab376c3"],"state_sha256":"6acac49d52997e04f904d710e0d40b63b9a8070a16fc43d335e920585748251f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eVNPenHRdVkLi2AWvJXo1SCg1iuHIiN5m08LqQRucXnQdYU/RmwByrsCTKyyjX05vlWBCiDfnj4jluJ90yfLDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T22:36:57.067782Z","bundle_sha256":"7688f2dcff976367743d10f284b982d7a699ae9a967e5330cfd487d4ddb3a81b"}}