# Formal Verification Hangout @ Devconnect ## Tickets Sold-out, entry only with valid QR-code. ## When April 18th, 2022 Begin: 09:00 End: 17:00 Admission: 08:00 ## Where Tolhuistuin (THT) IJ promenade 2, 1031 KT Amsterdam, Netherlands ## Tentative Schedule 8:00 Open Doors 9:00 Intros & Topic Distribution 9:45 Session 1 10:30 Break 11:00 Session 2 11:45 Session 3 12:30 Lunch 13:30 Session 4 14:15 Session 5 15:00 Break 15:30 Session 6 16:15 Session 7 17:00 End ## Potential Discussion Topics - EVM symbolic execution / model checking - Solidity / Vyper / Fe model checking - Specification languages / Higher level properties / Economic properties - Usability / DevX / Integration with development - Standard testing - Tool interop - Approaches for tool automation / scaling - Research and backend solvers - Arithmetic circuits from ZK applications - Monitoring
Last changed by  
 
Leo Alt
962

Read more

R55

This post explains how R55 works and our process for building the PoC in under 40h.

6/2/2024
Some (maybe inconsistent for now) Notes about Assembly

field: 2**64 - 2**32 + 1

1/22/2024
Untitled

This is a random list of ideas that help designing the language.Most if this is heavily inspired by zkASM / PIL of the polygon/hermez team.

1/22/2024
Formal Verification Researcher/Engineer - Zero Knowledge Applications

Ethereum Foundation (remote) Formal Verification and Applied ZKP teams. About the role The candidate will be expected to research methods to formally verify ZK applications, potentially develop tools, and apply those to the verification of ZK programs developed by the EF Applied ZKP team. Some examples of such applications are Semaphore and other gadgets. The successful candidate will work closely with both the Formal Verification and Applied ZKP teams, but they should also be able to work independently and lead their own research. There is a lot of flexibility in the research itself, and the person should feel free to collaborate with folks outside the EF as well. We open source everything from the start. The position is remote, but they are welcome to join any of the EF offices if there is one close by. The position is permanent however the details of the contract will depend on the location and personal circumstances of the candidate. Requirements The candidate should be able to do research on Formal Verification, and be familiar with some of the topics/tools below:

6/29/2021
Read more from Leo Alt
Published on HackMD