Arithmetic Circuits Courses and Certifications

Simons Institute

Lower Bounds for Tractable Arithmetic Circuits

Explores techniques for proving size lower bounds on tractable arithmetic circuits, focusing on structural restrictions and their impact on circuit complexity in probabilistic reasoning.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Fields Institute

Reconstruction of Depth 3 Arithmetic Circuits with Top Fan-in 3

Explore advanced techniques for reconstructing depth 3 arithmetic circuits with specific fan-in constraints through cutting-edge theoretical computer science research.

• YouTube
• 28 minutes
• On-Demand
• Free Video

NPTEL;  IIT Madras

Digital Circuits and Systems

11 reviews

Comprehensive exploration of digital circuits, from basic logic to advanced systems. Covers combinational and sequential circuits, arithmetic operations, state machines, and programmable logic devices.

• YouTube
• 1 day 11 hours
• On-Demand
• Free Video

NPTEL-NOC IITM

Ripple Carry Adder: Design, Delay, and Area Analysis

Learn about ripple carry adders, including their design, delay analysis, and area considerations in digital circuit implementation.

• YouTube
• 13 minutes
• On-Demand
• Free Video

Simons Institute

New Ways to Garble Arithmetic Circuits

Explores innovative techniques for garbling arithmetic circuits, improving efficiency, modularity, and functionality. Presents constant-rate schemes for large integers and modular computation, with enhanced capabilities for mixed arithmetic-Boolean opera…

• YouTube
• 51 minutes
• On-Demand
• Free Video

TheIACR

Sub Linear Lattice Based Zero Knowledge Arguments for Arithmetic Circuits

Explore cutting-edge cryptographic techniques for zero-knowledge proofs in arithmetic circuits, focusing on sub-linear lattice-based approaches presented at Crypto 2018.

• YouTube
• 20 minutes
• On-Demand
• Conference Talk

TheIACR

On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications

Explores innovative encoding techniques for predicates using arithmetic circuits, discussing their potential applications and implications for cryptographic systems.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

IEEE

Wolverine - Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits

Explore fast, scalable zero-knowledge proofs for Boolean and arithmetic circuits, covering applications, existing systems, tradeoffs, and innovative protocols like SVLE and Cotton Bucketing.

• YouTube
• 15 minutes
• On-Demand
• Conference Talk

TheIACR

Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application

Explore efficient zero-knowledge arguments for arithmetic circuits, their applications, and novel approaches to MPC-in-the-head protocols, with a focus on improving performance and reducing communication costs.

• YouTube
• 28 minutes
• On-Demand
• Free Video

Association for Computing Machinery (ACM)

Garbling Gadgets for Boolean and Arithmetic Circuits

Explore innovative garbling techniques for Boolean and arithmetic circuits, enhancing cryptographic protocols and secure computation methods.

• YouTube
• 20 minutes
• On-Demand
• Conference Talk

IIT Ropar;  NPTEL

Digital System Design

Learn digital system design from scratch, covering combinational and sequential building blocks, Verilog modeling, and practical applications in VLSI. Gain skills for designing complex digital systems.

• Swayam
• 12 weeks
• On-Demand
• Free Online Course

NPTEL;  IIT Kharagpur

Digital Electronic Circuits

1 review

Digital systems represent and manipulate digital signals. Such signals represent only finite number of discreet values. A signal can be discreet by nature whereas, a continuous signal can be discretized for digital processing and then converted back.

• YouTube
• 1 day 7 hours
• On-Demand
• Free Video

NPTEL;  IIT Kharagpur

Digital Circuits

1 review

Comprehensive exploration of digital circuits, covering number systems, Boolean algebra, logic gates, arithmetic circuits, sequential circuits, finite state machines, data converters, memory, FPGA, VHDL, and microprocessors.

• YouTube
• 1 day 7 hours
• On-Demand
• Free Video

UCLA Automated Reasoning Group

Automated Reasoning - Logic, Probabilistic Reasoning and Machine Learning

Explore Boolean logic, probabilistic reasoning, and machine learning through tractable circuits and knowledge compilation techniques for automated reasoning systems.

• YouTube
• 1 day 1 hour 51 minutes
• On-Demand
• Free Video

UCLA Automated Reasoning Group

Learning and Reasoning with Bayesian Networks

Master probabilistic reasoning and machine learning through comprehensive coverage of Bayesian networks, from basic probability theory to advanced inference algorithms and causal modeling.

• YouTube
• 22 hours 11 minutes
• On-Demand
• Free Video