Moed B | |
|
Hi all, Students who are planning to take the Moed B exam are kindly requested to send an email either to me or Shafik. Thanks and good luck! Ron |
| פורסם ב-15/3/2023, 13:33:46 Created on 15/3/2023, 13:33:46 Создано15/3/2023, 13:33:46 تم النشر ب-15/3/2023, 13:33:46 |
Office Hour Moving to Zoom | |
|
Hi all, Instead of you coming to the office hour, the office hour is coming to you! Office hour has been moved to Zoom. Here is the link: https://technion.zoom.us/j/3915434332 Same time, at 14:30. See you then, Shafik |
| פורסם ב-1/2/2023, 09:14:23 Created on 1/2/2023, 09:14:23 Создано1/2/2023, 09:14:23 تم النشر ب-1/2/2023, 09:14:23 |
Exam | |
|
Hi all, Due to popular demand, I posted the exam's cover page. Good luck to all! Ron |
| פורסם ב-1/2/2023, 09:05:56 Created on 1/2/2023, 09:05:56 Создано1/2/2023, 09:05:56 تم النشر ب-1/2/2023, 09:05:56 |
Shafik's office hour before the exam | |
|
Hi all, I will be holding an office hour this Wednesday at 14:30 in Taub 8 (our usual classroom). If you have specific questions that you want me to address during the office hour, try to send them to my email until Tuesday. Good luck, Shafik |
| עדכון אחרון ב-30/1/2023, 11:57:10 Last updated on 30/1/2023, 11:57:10 Последняя модификация30/1/2023, 11:57:10 تمت الحتلنة الأخيرة ب-30/1/2023, 11:57:10 |
Problem Set 4 | |
|
Has been posted. Enjoy :-) Ron |
| פורסם ב-4/1/2023, 14:30:41 Created on 4/1/2023, 14:30:41 Создано4/1/2023, 14:30:41 تم النشر ب-4/1/2023, 14:30:41 |
Bonus in HW3 | |
|
The second item in question 2.1 (proving that M is a subset of C1 tensor C2) is now bonus. Good luck, Course Staff |
| פורסם ב-28/12/2022, 16:04:40 Created on 28/12/2022, 16:04:40 Создано28/12/2022, 16:04:40 تم النشر ب-28/12/2022, 16:04:40 |
Shafik's Reception hour on 28/12 | |
|
Shafik's reception hour tomorrow (28/12) is moved to 15:30, i.e., after the tutorial. Regards, Course staff |
| פורסם ב-27/12/2022, 13:15:10 Created on 27/12/2022, 13:15:10 Создано27/12/2022, 13:15:10 تم النشر ب-27/12/2022, 13:15:10 |
Roundtable with Shafi | |
|
If you are interested in attending the round table discussion with Shafi (before her talk), please send me an email ASAP. Ron |
| פורסם ב-26/12/2022, 07:58:23 Created on 26/12/2022, 07:58:23 Создано26/12/2022, 07:58:23 تم النشر ب-26/12/2022, 07:58:23 |
Corrected a couple of minor typos in HW3 | |
|
Thanks Tomer G for pointing it out. Ron |
| פורסם ב-26/12/2022, 07:57:50 Created on 26/12/2022, 07:57:50 Создано26/12/2022, 07:57:50 تم النشر ب-26/12/2022, 07:57:50 |
Colloquium on Tuesday with Shafi | |
|
Hi all, As I previously mentioned, on Tuesday (Dec 27) Shafi Goldwasser will be giving a talk in our colloquium. See details below: https://www.cs.technion.ac.il/he/events/view-event.php?evid=10331 Shafi is a Turing award laureate and invented more than half of the material in the course (including interactive proofs, zero-knowledge proofs, the connection between PCPs and hardness of approximation and "doubly-efficient" proofs which we will see next). Prior to the talk (at 10:30) Shafi will be holding a roundtable discussion to discuss her work and allow you to ask for advice on your ongoing research, and discuss related issues. Highly recommended! Happy holidays, Ron |
| פורסם ב-22/12/2022, 09:53:13 Created on 22/12/2022, 09:53:13 Создано22/12/2022, 09:53:13 تم النشر ب-22/12/2022, 09:53:13 |
Problem set 3 | |
|
Problem set 3 has been published. Due date is 30/12. Good luck |
| פורסם ב-15/12/2022, 12:17:14 Created on 15/12/2022, 12:17:14 Создано15/12/2022, 12:17:14 تم النشر ب-15/12/2022, 12:17:14 |
HW1 grades and feedback | |
|
Hi all, Grades and feedback for HW1 are now available. Appeals can be sent to Shafik via email until 19/12 (please include name + ID). Regards, Course staff |
| פורסם ב-12/12/2022, 16:28:54 Created on 12/12/2022, 16:28:54 Создано12/12/2022, 16:28:54 تم النشر ب-12/12/2022, 16:28:54 |
Minor typos in problem set 2 were corrected | |
|
Thanks Shalev for pointing them out. Ron |
| פורסם ב-30/11/2022, 12:45:10 Created on 30/11/2022, 12:45:10 Создано30/11/2022, 12:45:10 تم النشر ب-30/11/2022, 12:45:10 |
Problem Set 2 | |
|
Has just been posted. Ron |
| פורסם ב-24/11/2022, 08:18:41 Created on 24/11/2022, 08:18:41 Создано24/11/2022, 08:18:41 تم النشر ب-24/11/2022, 08:18:41 |
HW1: Hint for Q1.4 | |
|
In Q1.4 it may be useful to consider the *optimal* prover strategy and *show* that in that strategy, the behavior in different iterations is independent. Good luck, Course staff |
| עדכון אחרון ב-16/11/2022, 19:49:13 Last updated on 16/11/2022, 19:49:13 Последняя модификация16/11/2022, 19:49:13 تمت الحتلنة الأخيرة ب-16/11/2022, 19:49:13 |
Another small correction | |
|
In the Chernoff bound, a quantification over epsilon was missing. In particular, you only need to prove it for eps \leq p (note that a typical use case is p=1/2 and eps=0.1 or smaller) Ron |
| פורסם ב-11/11/2022, 14:01:42 Created on 11/11/2022, 14:01:42 Создано11/11/2022, 14:01:42 تم النشر ب-11/11/2022, 14:01:42 |
Small correction to Q3 in HW1 | |
|
Hi all, A small correction was posted to the HW - basically that the sampling there should be done with repetition. Thank you Shalev for pointing it out. Ron |
| פורסם ב-6/11/2022, 16:02:14 Created on 6/11/2022, 16:02:14 Создано6/11/2022, 16:02:14 تم النشر ب-6/11/2022, 16:02:14 |
HW1 | |
|
Hi all, The first problem set has been published. This problem sets in the course are intended to complement and clarify the material. Most importantly they are meant to be fun and interesting - if you feel like you are suffering while doing them, please let me know since there might be an unintentional bug. Ron |
| פורסם ב-2/11/2022, 15:38:55 Created on 2/11/2022, 15:38:55 Создано2/11/2022, 15:38:55 تم النشر ب-2/11/2022, 15:38:55 |
Auxiliary material for tutorial 1 | |
|
Dear students, I have published a video that explains the outline of the proof we saw in the first tutorial. In addition, I added my notes for the first tutorial. However, I can't promise that I'll do that every week :) You can find all of this under Course Material. Regards, Shafik |
| עדכון אחרון ב-28/10/2022, 13:36:09 Last updated on 28/10/2022, 13:36:09 Последняя модификация28/10/2022, 13:36:09 تمت الحتلنة الأخيرة ب-28/10/2022, 13:36:09 |
Updates | |
|
Hi all, A couple of updates following yesterday's lecture: 1. The list of books/references that I mentioned is now available also here under the literature tab. 2. A recording of the lecture is also available. As I mentioned, recordings of most lectures will *not* be available. 3. Regarding office hours - best to schedule with me over email. Wishing you all a good semester! Ron |
| פורסם ב-27/10/2022, 08:41:14 Created on 27/10/2022, 08:41:14 Создано27/10/2022, 08:41:14 تم النشر ب-27/10/2022, 08:41:14 |
Welcome + info | |
|
Hi all, Welcome to the course on "advanced proof-systems"! Since some students asked I wanted to announce that in general the lectures will not be videotaped or broadcast online. However, since a sizable group of students are taking the yearly project in software engineering, the 3-4 lectures that intersect with my course will be recorded and available to watch online (this includes the first lecture). Looking forward to meeting you all on Wednesday! Ron |
| פורסם ב-23/10/2022, 13:53:31 Created on 23/10/2022, 13:53:31 Создано23/10/2022, 13:53:31 تم النشر ب-23/10/2022, 13:53:31 |