Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Borja, Raul"'
We present an implementation of a Web3 platform that leverages the Groth16 Zero-Knowledge Proof schema to verify the validity of questionnaire results within Smart Contracts. Our approach ensures that the answer key of the questionnaire remains undis
Externí odkaz:
http://arxiv.org/abs/2310.13618
Autor:
Alducin, Diego, Borja, Raul, Ortega, Eduardo, Velazquez-Salazar, J. Jesus, Covarrubias, Mario, Santoyo, Fernando Mendoza, Bazán-Díaz, Lourdes, Sanchez, John Eder, Torres, Nayely, Ponce, Arturo, José-Yacamán, Miguel
Publikováno v:
In Scripta Materialia 1 March 2016 113:63-67
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Monroy-Borja, Raul
Centre for Intelligent Systems and their Applications The specification and verification of communicating systems has captured increasing interest in the last decades. CCS, a Calculus of Communicating Systems [Milner 89a], was especially designed to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______463::7e05f82a80a027280c8036d8d4aee64d
http://hdl.handle.net/1842/584
http://hdl.handle.net/1842/584