2 results about "Logarithmic growth" patented technology

A digital hardware circuit and method for performing reduction operations that achieves constant timing depth regardless of input count. The invention replaces conventional sequential binary tree approaches with a parallel matrix comparison architecture where multiple comparator circuits simultaneously compare input signals against each other. Combinatorial logic circuits process comparison outputs to generate dominance signals indicating which input satisfies the reduction criteria, and selection logic outputs the final result. The parallel approach maintains exactly three logic levels regardless of number of processing inputs, enabling significantly higher clock frequencies than conventional methods whose timing depth increases logarithmically with input count. Applications include matrix multiplication engines, floating-point arithmetic units, and artificial intelligence accelerators where reduction operations for maximum / minimum finding, normalization, and other computations are performed millions of times per second. The constant timing depth enables operation at frequencies exceeding 1 GHz while providing scalable performance.

A method and system for verifying distributed computations across multiple untrusted computing nodes. A setup entity generates cryptographic reference strings including succinct non-interactive arguments (SNARGs) and batch arguments (seBARGs) for multiple proof hierarchy levels. Prover entities compute state transitions using nondeterministic inputs, generate proofs for individual computation steps, and merge proofs hierarchically to create compact proofs whose size grows logarithmically with computation length rather than linearly. A verifier entity validates the merged proofs at each level. In a zero-knowledge variant, the setup entity additionally generates encryption keys and zero-knowledge proof parameters. Prover entities encrypt all computation states and wrap proofs in zero-knowledge layers, hiding sensitive intermediate values and witnesses while maintaining verifiability.