Invariant-Based Cryptography: Toward a General Framework
- URL: http://arxiv.org/abs/2505.08115v1
- Date: Mon, 12 May 2025 23:08:30 GMT
- Title: Invariant-Based Cryptography: Toward a General Framework
- Abstract summary: We develop a framework for invariant-based cryptography by extending the use of structural identities as core cryptographic mechanisms.<n>We analyze cryptographic utility of such invariants in terms of recoverability, integrity binding, and resistance to forgery.<n>This work establishes a foundation for invariant-based design as a versatile and compact alternative in symmetric cryptographic protocols.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We develop a generalized framework for invariant-based cryptography by extending the use of structural identities as core cryptographic mechanisms. Starting from a previously introduced scheme where a secret is encoded via a four-point algebraic invariant over masked functional values, we broaden the approach to include multiple classes of invariant constructions. In particular, we present new symmetric schemes based on shifted polynomial roots and functional equations constrained by symmetric algebraic conditions, such as discriminants and multilinear identities. These examples illustrate how algebraic invariants -- rather than one-way functions -- can enforce structural consistency and unforgeability. We analyze the cryptographic utility of such invariants in terms of recoverability, integrity binding, and resistance to forgery, and show that these constructions achieve security levels comparable to the original oscillatory model. This work establishes a foundation for invariant-based design as a versatile and compact alternative in symmetric cryptographic protocols.
Related papers
- Efficient generation and explicit dimensionality of Lie group-equivariant and permutation-invariant bases [1.6789611055085498]
We propose a practical construction of Lie group-equivariant and permutation-invariant functions of $N$ variables.<n>The construction is generic for any linear Lie group and relies on building a matrix constructed from the Lie algebra.<n>We show that for large values of $N$, the number of rotation-equivariant and permutation-invariant basis functions is of a comparable order.
arXiv Detail & Related papers (2026-04-02T12:33:33Z) - Any-Subgroup Equivariant Networks via Symmetry Breaking [47.72921214239821]
equivariant architectures are usually highly constrained, designed for symmetries chosen a priori.<n>This precludes the development of flexible, multi-modal foundation models capable of processing diverse data equivariantly.<n>We build a single model that can be simultaneously equivariant to several groups, simply by modulating a certain auxiliary input feature.
arXiv Detail & Related papers (2026-03-19T21:30:41Z) - Coalgebras for categorical deep learning: Representability and universal approximation [0.0]
We develop a coalgebraic foundation for equivariant representation in deep learning.<n>We establish a universal approximation theorem for equivariant maps in a generalized setting.<n>This work provides a categorical bridge between the abstract specification of invariant behavior and its concrete realization in neural architectures.
arXiv Detail & Related papers (2026-03-03T18:18:50Z) - On Counts and Densities of Homogeneous Bent Functions: An Evolutionary Approach [60.00535100780336]
This paper examines the use of Evolutionary Algorithms (EAs) to evolve homogeneous bent Boolean functions.<n>We introduce the notion of density of homogeneous bent functions, facilitating the algorithmic design that results in finding quadratic and cubic bent functions in different numbers of variables.
arXiv Detail & Related papers (2025-11-16T15:33:40Z) - Constructing Invariant and Equivariant Operations by Symmetric Tensor Network [8.759616567360537]
This work presents a systematic method for constructing valid invariant and equivariant operations.<n>It can handle inputs and outputs in the form of Cartesian tensors with different rank, as well as spherical tensors with different types.<n>We also apply this approach to design the equivariant interaction message for the geometry graph neural network, and equivariant machine learning model to learn the law of materials.
arXiv Detail & Related papers (2025-08-18T03:13:08Z) - Generalized Linear Mode Connectivity for Transformers [87.32299363530996]
A striking phenomenon is linear mode connectivity (LMC), where independently trained models can be connected by low- or zero-loss paths.<n>Prior work has predominantly focused on neuron re-ordering through permutations, but such approaches are limited in scope.<n>We introduce a unified framework that captures four symmetry classes: permutations, semi-permutations, transformations, and general invertible maps.<n>This generalization enables, for the first time, the discovery of low- and zero-barrier linear paths between independently trained Vision Transformers and GPT-2 models.
arXiv Detail & Related papers (2025-06-28T01:46:36Z) - Invariant-Based Cryptography [0.0]
Scheme encodes a secret integer through a four-point algebraic identity preserved under controlled parameterization.<n>We develop the full analytic and modular framework, prove exact identities, define index-recovery procedures, and analyze security assumptions.
arXiv Detail & Related papers (2025-05-08T21:18:59Z) - Improving Equivariant Networks with Probabilistic Symmetry Breaking [9.164167226137664]
Equivariant networks encode known symmetries into neural networks, often enhancing generalizations.<n>This poses an important problem, both (1) for prediction tasks on domains where self-symmetries are common, and (2) for generative models, which must break symmetries in order to reconstruct from highly symmetric latent spaces.<n>We present novel theoretical results that establish sufficient conditions for representing such distributions.
arXiv Detail & Related papers (2025-03-27T21:04:49Z) - Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups [0.0]
We present a conceptual framework for extending homomorphic encryption beyond arithmetic or Boolean operations into the domain of intuitionistic logic.<n>We outline strategies for making the approach potentially efficient, including software optimizations and hardware acceleration.
arXiv Detail & Related papers (2025-02-26T10:10:10Z) - Topological nature of edge states for one-dimensional systems without symmetry protection [46.87902365052209]
We numerically verify and analytically prove a winding number invariant that correctly predicts the number of edge states in one-dimensional, nearest-neighbour (between unit cells)<n>Our invariant is invariant under unitary and similarity transforms.
arXiv Detail & Related papers (2024-12-13T19:44:54Z) - A Canonicalization Perspective on Invariant and Equivariant Learning [54.44572887716977]
We introduce a canonicalization perspective that provides an essential and complete view of the design of frames.
We show that there exists an inherent connection between frames and canonical forms.
We design novel frames for eigenvectors that are strictly superior to existing methods.
arXiv Detail & Related papers (2024-05-28T17:22:15Z) - A Unified Framework for Discovering Discrete Symmetries [17.687122467264487]
We consider the problem of learning a function respecting a symmetry from among a class of symmetries.
We develop a unified framework that enables symmetry discovery across a broad range of subgroups.
arXiv Detail & Related papers (2023-09-06T10:41:30Z) - Learning Probabilistic Symmetrization for Architecture Agnostic Equivariance [16.49488981364657]
We present a novel framework to overcome the limitations of equivariant architectures in learning functions with group symmetries.
We use an arbitrary base model such as anvariant or a transformer and symmetrize it to be equivariant to the given group.
Empirical tests show competitive results against tailored equivariant architectures.
arXiv Detail & Related papers (2023-06-05T13:40:54Z) - Object Representations as Fixed Points: Training Iterative Refinement
Algorithms with Implicit Differentiation [88.14365009076907]
Iterative refinement is a useful paradigm for representation learning.
We develop an implicit differentiation approach that improves the stability and tractability of training.
arXiv Detail & Related papers (2022-07-02T10:00:35Z) - Frame Averaging for Equivariant Shape Space Learning [85.42901997467754]
A natural way to incorporate symmetries in shape space learning is to ask that the mapping to the shape space (encoder) and mapping from the shape space (decoder) are equivariant to the relevant symmetries.
We present a framework for incorporating equivariance in encoders and decoders by introducing two contributions.
arXiv Detail & Related papers (2021-12-03T06:41:19Z) - Invariant Feature Coding using Tensor Product Representation [75.62232699377877]
We prove that the group-invariant feature vector contains sufficient discriminative information when learning a linear classifier.
A novel feature model that explicitly consider group action is proposed for principal component analysis and k-means clustering.
arXiv Detail & Related papers (2019-06-05T07:15:17Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.