Try   HackMD

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
0
1077

Read more

R55

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

Jun 2, 2024
Some (maybe inconsistent for now) Notes about Assembly

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

Jan 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.

Jan 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:

Jun 29, 2021
Read more from Leo Alt
Published on HackMD