Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Efficient proof composition for verifiable computation - MaRDI portal

Efficient proof composition for verifiable computation (Q2167734)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient proof composition for verifiable computation
scientific article

    Statements

    title
    Efficient proof composition for verifiable computation (English)
    0 references
    author
    Julien Keuffer
    0 references
    Refik Molva
    0 references
    Hervé Chabanne
    0 references
    publication date
    25 August 2022
    0 references
    Mathematics Subject Classification ID
    68M25
    0 references
    68T05
    0 references
    94A60
    0 references
    zbMATH DE Number
    7575996
    0 references
    zbMATH Keywords
    verifiable computation
    0 references
    proof composition
    0 references
    neural networks
    0 references
    OpenAlex ID
    W2886845474
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2167734&oldid=36847463"
    Powered by MediaWiki