Olamilekan π¦π«Άπ‘β‘οΈπ§ββοΈ
@wisemrmusa
Blockchain Engineer
ID: 3299930508
http://github.com/WiseMrMusa 29-07-2015 00:21:34
16,16K Tweet
1,1K Followers
1,1K Following
We are proud of the collaboration between Matter Labs (β, β) and our Formal Verification team led by Julian Sutherland on this achievement! This marks the first ever formal functional verification of a zk verifier for ZKsync (β, β) . This is a crucial step toward ensuring the integrity and
βShe guaranteed I was going to be taught well, and that was what sold me.β As part of the ongoing series, listen to Mayowa Obisesan share his Web3bridge story. π Watch full video: youtu.be/5ZLWRAWCmIU