MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch

Source URL: www.mtv.ac

• Cryptocurrencies
• Blockchains
• Computing
• Concurrent computing
• Alternative currencies
• Data management
• Cross-platform software
• Ethereum
• Shard
• Smart contract
• Proof-of-stake
• Distributed ledger

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN

Source URL: cosweb1.fau.edu

• Algebra
• Mathematics
• Polynomials
• Computer algebra
• Polynomial
• General number field sieve
• Resultant
• Irreducible polynomial
• Factorization
• Polynomial greatest common divisor
• Degree of a polynomial

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme

Circuits Resilient to Additive Attacks with Applications to Secure Computation Daniel Genkin Yuval Ishai

Source URL: web.eecs.umich.edu

• Circuit complexity
• Theoretical computer science
• Computational complexity theory
• Cryptographic protocols
• Electronic engineering
• Theory of computation
• Secure multi-party computation
• Logic families
• Digital circuits
• Transistortransistor logic
• NC
• Circuit

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS

Source URL: www.lix.polytechnique.fr

• Mathematics
• Abstract algebra
• Mathematical analysis
• Algebraic number theory
• Discriminant of an algebraic number field
• Riemann hypothesis
• Algebraic number field
• Table of stars with Bayer designations
• Computational complexity of mathematical operations

Lecture 28, Tues May 2: Stabilizer Formalism Today we’ll see a beautiful formalism that was originally invented to describe quantum-error correcting codes, but now plays many different roles in quantum computation. Fir

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum computing
• Quantum error correction
• Quantum logic gate
• Controlled NOT gate
• GottesmanKnill theorem
• Stabilizer code
• Superdense coding
• Quantum circuit
• Quantum teleportation

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Source URL: publish.illinois.edu

• Circuit complexity
• NC
• Mathematics
• Theoretical computer science
• Numerical software
• Lemmas
• Numerical linear algebra

Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Markov processes
• Stochastic control
• Markov decision process
• Approximation algorithms
• Probability
• Computational complexity theory

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: www.pepper-project.org

Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig

Source URL: www.pepper-project.org

• Cryptography
• Computational complexity theory
• Randomized algorithms
• Complexity classes
• Probabilistically checkable proof
• Proof theory
• IP
• NP
• NEXPTIME
• Soundness
• PCP theorem
• Commitment scheme