Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Verifiable Computation

Showing: 13 courses
Stanford University

Zero Knowledge Proofs for Verifiable Computation on Blockchain Systems - Panel Discussion

0 rewiews
Expert panel explores zero knowledge proofs for verifiable computation on blockchain systems, discussing applications, challenges, and future potential in Web3 technologies.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Fission

Seamless Services for an Open World

0 rewiews
Explore the next generation of open services with verifiable data and computation, enabling seamless, location-free, and privacy-respecting systems that scale superlinearly and interoperate without pre-negotiation.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
TheIACR

Boosting Verifiable Computation on Encrypted Data

0 rewiews
Explore verifiable computation on encrypted data, covering homomorphic encryption, SNARKs, and polynomial commitments for secure and private delegation of computation.
Add to list
16 Lesons
21 minutes
On-Demand
Free-Video
IEEE

VRAM: Faster Verifiable RAM With Program-Independent Preprocessing

0 rewiews
Explore faster verifiable RAM with program-independent preprocessing, reducing prover's memory and time while scaling to larger computations. Optimal prover overhead and comparable performance to program-specific schemes.
Add to list
11 Lesons
20 minutes
On-Demand
Free-Video
IEEE

XJsnark - A Framework for Efficient Verifiable Computation

0 rewiews
Explore efficient verifiable computation with xJsnark framework. Learn circuit-friendly algorithms, optimizations for integer arithmetic, and techniques to minimize redundant computations in cloud and cryptocurrency applications.
Add to list
11 Lesons
19 minutes
On-Demand
Free-Video
Fission

IPVM - Bringing Wasm-Based Edge Compute to IPFS

0 rewiews
Explore IPVM and UCAN Invocations: revolutionizing open services with verifiable data and computation, enabling seamless interoperability and superlinear scaling for the next generation of networked systems.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
TheIACR

Verifiable Delegation of Computation over Large Datasets - Crypto 2011

0 rewiews
Explore efficient verification of computations on large datasets, including high-degree polynomial functions, verifiable keyword search, and proofs of retrievability, based on cryptographic assumptions.
Add to list
14 Lesons
21 minutes
On-Demand
Free-Video
IEEE

Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

0 rewiews
Transforming X.509 certificates into anonymous credentials using verifiable computation, enhancing privacy and integrity in authentication for applications like TLS and e-voting.
Add to list
10 Lesons
20 minutes
On-Demand
Free-Video
IEEE

Verifiable ASICs

0 rewiews
Explore verifiable computation for untrusted ASICs, enabling high-assurance execution without compromising performance. Learn about the Zebra system's implementation and its potential to match trusted platform performance.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
TheIACR

Verifier-on-a-Leash - New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources

0 rewiews
Explore new schemes for verifiable delegated quantum computation, featuring quasilinear resources and enhanced security in this cutting-edge cryptography research presentation.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
TheIACR

Polynomial Commitments and SNARKs

0 rewiews
Explore advanced cryptographic concepts like polynomial commitments and SNARKs in this comprehensive session from Crypto 2024, chaired by Yupeng Zhang.
Add to list
1 Lesons
1 hour 16 minutes
On-Demand
Free-Video
TheIACR

SNARKs - Introduction and Fundamentals

0 rewiews
Explore cutting-edge developments in SNARKs (Succinct Non-Interactive Arguments of Knowledge) at this Crypto 2024 session, chaired by Nir Bitansky.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
TheIACR

SNARKs 2 - Advanced Cryptographic Protocols

0 rewiews
Explore advanced cryptographic concepts and latest developments in SNARKs at this Crypto 2024 session, chaired by Jonathan Bootle.
Add to list
1 Lesons
1 hour 17 minutes
On-Demand
Free-Video