Compilation of Function Representations for Secure Computing Paradigms

This paper introduces M-Circuits, a program representation which generalizes arithmetic and binary circuits. This new representation is motivated by the way modern multi-party computation (MPC) systems based on linear secret sharing schemes actually operate. We then show how this representation also allows one to construct zero knowledge proof (ZKP) systems based on the MPC-in-the-head paradigm. The use of the M-Circuit program abstraction then allows for a number of program-specific optimizations to be applied generically. It also allows to separate complexity and security optimizations for program compilation from those for application protocols (MPC or ZKP)

Étude probabiliste du comportement d'un remblai sur sols mous

L’article présente les différentes phases de l'analyse probabiliste du tassement au cours du temps du remblai B du site expérimental de remblais sur sols compressibles de Cubzac-les-Ponts : distributions statistiques des propriétés physiques et mécaniques utilisées pour le calcul des amplitudes et vitesses de tassement ; calcul probabiliste de ces amplitudes et vitesses.Les auteurs comparent différentes méthodes d'analyse probabiliste entre elles et avec les mesures effectuées pendant les trois années suivant l'édification du remblai : méthode de Monte Carlo et méthode de Vanmarcke et Fuleihan pour l'amplitude du tassement final ; méthode de Monte Carlo et méthode de Chang et Soong pour la vitesse de consolidation

Compilation of function representations for secure computing paradigms

timestamp: Tue, 11 May 2021 14:54:39 +0200 biburl: https://dblp.org/rec/conf/ctrsa/BagheryGOST21.bib bibsource: dblp computer science bibliography, https://dblp.orgstatus: publishe