For many applications of SNARKs, a key bottleneck is proving large batches of standard cryptographic hash evaluations, such as SHA-256, Keccak, or BLAKE3. We introduce Flock, a hash-based SNARK for extremely fast proving of such batched Boolean computations. Flock proves batches of the same R1CS circuit (plus input/output relations between them), can prove hash-chains and Merkle path openings, and in principle can be extended to full-fledged hash-based signature verification. At its core, Flock combines new optimizations for the lincheck and zerocheck protocols with an aggressively optimized proof-of-concept implementation co-designed by coding agents. On a single core of an M4 Max processor, Flock proves 82k evaluations of the BLAKE3 compression function, 42k SHA-256 compressions, and 30k Keccak permutations per second --- less than a $250\times$ overhead over native execution. On ten cores, throughput exceeds 660k BLAKE3 compressions per second; in proving SHA-256, Flock is more than $9\times$ faster than Binius64, the prior state of the art, and more than $500\times$ faster than the fastest elliptic curve-based SNARK we measured against.
Understanding self-organization in natural collectives such as bird flocks inspires swarm robotics, yet most flocking models remain reactive, overlooking anticipatory cues that enhance coordination. Motivated by avian postural and wingbeat signals, as well as multirotor attitude tilts that precede directional changes, this work introduces a principled, bio-inspired anticipatory augmentation of reactive flocking termed Future Direction-Aware (FDA) flocking. In the proposed framework, agents blend reactive alignment with a predictive term based on short-term estimates of neighbors' future velocities, regulated by a tunable blending parameter that interpolates between reactive and anticipatory behaviors. This predictive structure enhances velocity consensus and cohesion-separation balance while mitigating the adverse effects of sensing and communication delays and measurement noise that destabilize reactive baselines. Simulation results demonstrate that FDA achieves faster and higher alignment, enhanced translational displacement of the flock, and improved robustness to delays and noise compared to a purely reactive model. Future work will investigate adaptive blending strategies, wei
In this work, Global Position System (GPS) data from a flock of homing pigeons are analysed. The flocking behaviour of the considered homing pigeons is formulated as a swarm optimal trajectory tracking control problem. The swarm problem in this work is modeled with the idea that one or two pigeons at the forefront lead the flock. Each follower pigeon is assumed to follow a leader pigeon immediately ahead of themselves, instead of directly following the leaders at the forefront of the flock. The trajectory of each follower pigeon is assumed to be a solution of an optimal trajectory tracking control problem. An optimal control problem framework is created for each follower pigeon. An important aspect of an optimal control problem is the cost function. A minimum principle based method for multiple flight data is proposed, which can help in learning the unknown weights of the cost function of the optimal trajectory tracking control problem for each follower pigeon, from flight trajectories' information obtained from GPS data.
The study of flocking in biological systems has identified conditions for self-organized collective behavior, inspiring the development of decentralized strategies to coordinate the dynamics of swarms of drones and other autonomous vehicles. Previous research has focused primarily on the role of the time-varying interaction network among agents while assuming that the agents themselves are identical or nearly identical. Here, we depart from this conventional assumption to investigate how inter-individual differences between agents affect the stability and convergence in flocking dynamics. We show that flocks of agents with optimally assigned heterogeneous parameters significantly outperform their homogeneous counterparts, achieving 20-40% faster convergence to desired formations across various control tasks. These tasks include target tracking, flock formation, and obstacle maneuvering. In systems with communication delays, heterogeneity can enable convergence even when flocking is unstable for identical agents. Our results challenge existing paradigms in multi-agent control and establish system disorder as an adaptive, distributed mechanism to promote collective behavior in flocki
This article presents the world's first rapid drone flocking control using natural language through generative AI. The described approach enables the intuitive orchestration of a flock of any size to achieve the desired geometry. The key feature of the method is the development of a new interface based on Large Language Models to communicate with the user and to generate the target geometry descriptions. Users can interactively modify or provide comments during the construction of the flock geometry model. By combining flocking technology and defining the target surface using a signed distance function, smooth and adaptive movement of the drone swarm between target states is achieved. Our user study on FlockGPT confirmed a high level of intuitive control over drone flocking by users. Subjects who had never previously controlled a swarm of drones were able to construct complex figures in just a few iterations and were able to accurately distinguish the formed swarm drone figures. The results revealed a high recognition rate for six different geometric patterns generated through the LLM-based interface and performed by a simulated drone flock (mean of 80% with a maximum of 93\% for c
We study the collective behavior of a polar flock in an inhomogeneous environment in two-dimensions. The inhomogeneity is modelled by introducing regions at random locations on the substrate with higher noise but accessible for the flock to move. Hence inside such regions the particles orientation get randomised. Such inhomogeneities are different from the physical disorder, which obstructs the space for the incoming particles. The study focuses on how the phase behavior of polar flock changes by tuning the packing fraction of inhomogeneity. As packing fraction increases, the system crosses over from long-range to quasi long range order and ultimately to a disordered phase, while the order disorder transition for flocking changes from discontinuous to continuous. The resultant phase behavior of polar flock patterns here is comparable to that exhibited in the presence of physical disorder.
Flocking, as paradigmatically exemplified by birds, is the coherent collective motion of active agents. As originally conceived, flocking emerges through alignment interactions between the agents. Here, we report that flocking can also emerge through interactions that turn agents away from each other. Combining simulations, kinetic theory, and experiments, we demonstrate this mechanism of flocking in self-propelled Janus colloids with stronger repulsion on the front than on the rear. The polar state is stable because particles achieve a compromise between turning away from left and right neighbors. Unlike for alignment interactions, the emergence of polar order from turn-away interactions requires particle repulsion. At high concentration, repulsion produces flocking Wigner crystals. Whereas repulsion often leads to motility-induced phase separation of active particles, here it combines with turn-away torques to produce flocking. Therefore, our findings bridge the classes of aligning and non-aligning active matter. Our results could help to reconcile the observations that cells can flock despite turning away from each other via contact inhibition of locomotion. Overall, our work sh
The aerial flocking of birds, or murmurations, has fascinated observers while presenting many challenges to behavioral study and simulation. We examine how the periphery of murmurations remain well bounded and cohesive. We also investigate agitation waves, which occur when a flock is disturbed, developing a plausible model for how they might emerge spontaneously. To understand these behaviors a new model is presented for orientation-based social flocking. Previous methods model inter-bird dynamics by considering the neighborhood around each bird, and introducing forces for avoidance, alignment, and cohesion as three dimensional vectors that alter acceleration. Our method introduces orientation-based social flocking that treats social influences from neighbors more realistically as a desire to turn, indirectly controlling the heading in an aerodynamic model. While our model can be applied to any flocking social bird we simulate flocks of starlings, Sturnus vulgaris, and demonstrate the possibility of orientation waves in the absence of predators. Our model exhibits spherical and ovoidal flock shapes matching observation. Comparisons of our model to Reynolds' on energy consumption an
We investigate the collective behavior of motile rods immersed in a monolayer of apolar rods confined between vertically vibrating plates using numerical simulations. We uncover an antidiffusive instability whereby motile rods segregate from the apolar medium and form flocks whose size increases with the medium concentration. Remarkably, enhanced segregation leads to a reduction of the global polar order. The flock structure is strongly influenced by the anisotropy of the medium rods. For small aspect ratios, the flocks are elongated perpendicular to the mean direction of motion, whereas for larger aspect ratios, they elongate along the direction of motility. We rationalize the emergence of segregation-induced disorder using a minimal mean-field model.
We numerically study the three-dimensional turbulence in a minimal model of an active fluid--the Toner-Tu-Swift-Hohenburg equation. For small activity, we observe bacterial turbulence, while for large activity, we uncover hitherto unexplored regime of a turbulent flock where a global order coexists with turbulence. We present a simple closure model that predicts the turbulent flock and also qualitatively explains the transition to the bacterial turbulence regime via a transcritical bifurcation.
Fine-tuning the large language models (LLMs) are prevented by the deficiency of centralized control and the massive computing and communication overhead on the decentralized schemes. While the typical standard federated learning (FL) supports data privacy, the central server requirement creates a single point of attack and vulnerability to poisoning attacks. Generalizing the result in this direction to 70B-parameter models in the heterogeneous, trustless environments has turned out to be a huge, yet unbroken bottleneck. This paper introduces FLock, a decentralized framework for secure and efficient collaborative LLM fine-tuning. Integrating a blockchain-based trust layer with economic incentives, FLock replaces the central aggregator with a secure, auditable protocol for cooperation among untrusted parties. We present the first empirical validation of fine-tuning a 70B LLM in a secure, multi-domain, decentralized setting. Our experiments show the FLock framework defends against backdoor poisoning attacks that compromise standard FL optimizers and fosters synergistic knowledge transfer. The resulting models show a >68% reduction in adversarial attack success rates. The global mod
Flocks are an important topic in the field of finite geometry, with many relations with other objects of interest. This paper is a contribution to the difficult problem of classifying flocks up to projective equivalence. We complete the classification of flocks of the quadratic cone in PG(3,q) for q <= 71, by showing by computer that there are exactly three flocks of the quadratic cone in PG(3,64), up to equivalence. The three flocks had previously been discovered, and they are the linear flock, the Subiaco flock and the Adelaide flock. The classification proceeds via the connection between flocks and herds of ovals in PG(2,q), q even, and uses the prior classification of hyperovals in PG(2,64).
We show that the Whitney function of a q-matroid can be determined from the cloud and flock polynomials associated to the cyclic flats. These polynomials capture information about the corank (resp., nullity) of certain spaces whose cyclic core (resp., closure) is the given cyclic flat. Going one step further, we prove that the Whitney function, and in fact the cloud-flock lattice, are determined by the configuration of the q-matroid, which is the abstract lattice of cyclic flats together with the corank-nullity data. Furthermore, we show that the configuration and cloud-flock lattice behave well under duality and direct sums, whereas the Whitney function does not contain enough information to behave well under taking direct sums. As an aside we show that every configuration of a matroid arises as a configuration of a q-matroid, whereas the converse is not true.
We study a collection of polar self-propelled particles or polar flock on a two dimensional substrate with birth and death. Most of the previous studies of polar flock with birth and death have assumed the compressible flock, such that the local density of flock is completely ignored. Effect of birth and death of particles on the flock with moderate density is focus of our study. System is modeled using coarse-grained hydrodynamic equations of motion for local density and velocity of the flock and solved using numerical integration of the nonlinear coupled partial differential equations of motion and linearised hydrodynamics about the broken symmetry state. We studied the ordering kinetics as well as the steady state properties of the immortal flock and flock with finite birth and death rate. The ordering kinetics of the velocity field remains unaffected whereas the density field shows a crossover from asymptotic growth exponent $5/6$ for the immortal flock to diffusive limit $1/3$ for large birth and death rates. In the steady state, the presence of birth and death rate leads to the suppression of speed of sound wave and density fluctuations in the system.
Swarming is a conspicuous behavioural trait observed in bird flocks, fish shoals, insect swarms and mammal herds. It is thought to improve collective awareness and offer protection from predators. Many current models involve the hypothesis that information coordinating motion is exchanged between neighbors. We argue that such local interactions alone are insufficient to explain the organization of large flocks of birds and that the mechanism for the exchange of long-ranged information necessary to control their density remains unknown. We show that large flocks self-organize to the maximum density at which a typical individual is still just able to see out of the flock in many directions. Such flocks are marginally opaque - an external observer can also just still see a substantial fraction of sky through the flock. Although seemingly intuitive we show that this need not be the case; flocks could easily be highly diffuse or entirely opaque. The emergence of marginal opacity strongly constrains how individuals interact with each other within large swarms. It also provides a mechanism for global interactions: An individual can respond to the projection of the flock that it sees. This
The flocking motion control is concerned with managing the possible conflicts between local and team objectives of multi-agent systems. The overall control process guides the agents while monitoring the flock-cohesiveness and localization. The underlying mechanisms may degrade due to overlooking the unmodeled uncertainties associated with the flock dynamics and formation. On another side, the efficiencies of the various control designs rely on how quickly they can adapt to different dynamic situations in real-time. An online model-free policy iteration mechanism is developed here to guide a flock of agents to follow an independent command generator over a time-varying graph topology. The strength of connectivity between any two agents or the graph edge weight is decided using a position adjacency dependent function. An online recursive least squares approach is adopted to tune the guidance strategies without knowing the dynamics of the agents or those of the command generator. It is compared with another reinforcement learning approach from the literature which is based on a value iteration technique. The simulation results of the policy iteration mechanism revealed fast learning a
Avian flocks display a wide variety of flight behaviors, including steady directed translation of center of mass, rapid change of overall morphology, re-shuffling of positions of individuals within a persistent form, etc. These behaviors may be viewed as flock-scale strategies, emerging from interactions between individuals, accomplishing some collective adaptive purpose such as finding a roost, or mitigating the danger from predator attacks. While we do not conceive the flock as a single cognitive agent, the moment-to-moment decisions of individuals, influenced by their neighbors, appear as if to realize collective strategies that are cognizant of purpose. In this paper, we identify the actions of the flock as allocation of energetic resources, and thereby associate a cognitive cost to behavior. Our notion of cognitive cost reflects the burden arising from rapid re-allocation of resource. Using a recently developed natural geometric approach to kinetic energy allocation, we map the flock behavior to a temporal signature on the standard (probability) simplex. Given the signature of a flocking event, we calculate the cognitive cost as a solution to an optimal control problem based o
Existing serverless data analytics systems rely on external storage services like S3 for data shuffling and communication between cloud functions. While this approach provides the elasticity benefits of serverless computing, it incurs additional latency and cost overheads. We present Flock, a novel cloud-native streaming query engine that leverages the on-demand scalability of FaaS platforms for real-time data analytics. Flock utilizes function invocation payloads for efficient data exchange, eliminating the need for external storage. This not only reduces latency and cost but also simplifies the architecture by removing the requirement for a centralized coordinator. Flock employs a template-based approach to dynamically create cloud functions for each query stage and a function group mechanism for handling data aggregation and shuffling. It supports both SQL and DataFrame APIs, making it easy to use. Our evaluation shows that Flock provides significant performance gains and cost savings compared to existing serverless and serverful streaming systems. It outperforms Apache Flink by 10-20x in cost while achieving similar latency and throughput.
Groups of animals often tend to arrange themselves in flocks that have characteristic spatial attributes and temporal dynamics. Using a dynamic continuum model for a flock of individuals, we find equilibria of finite spatial extent where the density goes continuously to zero at a well-defined flock edge, and we discuss conditions on the model that allow for such solutions. We also demonstrate conditions under which, as the flock size increases, the interior density in our equilibria tends to an approximately uniform value. Motivated by observations of starling flocks that are relatively thin in a direction transverse to the direction of flight, we investigate the stability of infinite, planar-sheet flock equilibria. We find that long- wavelength perturbations along the sheet are unstable for the class of models that we investigate. This has the conjectured consequence that sheet-like flocks of arbitrarily large transverse extent relative to their thickness do not occur. However, we also show that our model admits approximately sheet-like, 'pancake-shaped', three-dimensional ellipsoidal equilibria with definite aspect ratios (transverse length- scale to flock thickness) determined b
We propose Flock; a simple and scalable protocol that enables live migration of Virtual Machines (VMs) across heterogeneous edge and conventional cloud platforms to improve the responsiveness of cloud services. Flock is designed with properties that are suitable for the use cases of the Internet of Things (IoT). We describe the properties of regularized latency measurements that Flock can use for asynchronous and autonomous migration decisions. Such decisions allow communicating VMs to follow a flocking-like behavior that consists of three simple rules: separation, alignment, and cohesion. Using game theory, we derive analytical bounds on Flock's Price of Anarchy (PoA), and prove that flocking VMs converge to a Nash Equilibrium while settling in the best possible cloud platforms. We verify the effectiveness of Flock through simulations and discuss how its generic objective can simply be tweaked to achieve other objectives, such as cloud load balancing and energy consumption minimization.