VERA
@verifalliance
Followers
710
Following
39
Media
6
Statuses
33
The Verifier Alliance is an ecosystem collective aiming for easy, unified, and open access to the source-code of EVM smart contracts.
Joined February 2024
📢Introducing Verifier Alliance (VERA), an ecosystem collective aiming for easy, unified and open access to the source code of EVM smart contracts. VERA aims to standardize the verification process in EVM space by providing a publicly accessible database of contracts' source code.
6
28
133
RT @verifalliance: The Verifier Alliance dataset now has 8M+ verified contracts!. @ethereum has a strong verification culture, but data is….
0
17
0
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
496
456
4K
The whole DB is exported daily in Parquet,.a modern column-based data format that is directly queryable. Head over to the docs and see how to download:.
verifieralliance.org
WORK IN PROGRESS
1
0
6
EVM bytecode is unstructured. Therefore "transformations" mark the changes to data values needed to reach an onchain bytecode from a recompiled bytecode. This includes immutables, libraries, cborAuxdata, constructorArguments positions and values.
verifieralliance.org
A "transformation" on bytecode is a necessary change in the bytecode string to achieve the exact (on-chain) bytecode from a base bytecode. These changes are on the non-executional parts of the...
1
0
6
How does the data look like?. VerA is a PostgreSQL DB with each verification being a coupling between a "deployment" and a "compilation". The bytecodes and sources are deduplicated in separate tables. See the schema:.
1
0
8
@SourcifyEth @blockscout @routescan_io What is this dataset good for?.- Compiler testing.- Identifying vulnerability patterns in contracts.- Training models.- Data analysis of EVM contracts. many other use cases that weren't possible without an open dataset. Brought together by @blockscout @routescan_io @SourcifyEth.
1
0
10
The Verifier Alliance dataset now has 8M+ verified contracts!. @ethereum has a strong verification culture, but data is siloed and hard to access. We’ve opened it all up in Parquet format for researchers, analysts, and AI engineers. Explore the schema & download the dataset👇
9
17
70
RT @samczsun: huge news for the contract verification ecosystem. please consider using sourcify so that your contract source code can autom….
0
25
0
RT @ijaack94: Spoiler alert: @verifalliance db has more than 4M contracts already, and we're far from completion.
0
1
0
Our website has a fresh look! . Check out the docs to learn more about the Verifier Alliance database and to download the latest dataset (work in progress). 👉
7
2
15
If you want to play around with the dataset and the schema, you can refer to Sourcify's DB and its exports. Sourcify DB is based on the Verifier Alliance schema.
docs.sourcify.dev
Sourcify Database is the main storage backend for Sourcify. It is a PostgreSQL database that follows the Verified Alliance Schema as its base with few modifications.
0
0
0
For more information about the database schema visit the database-specs repo. or check out the interactive schema:.
dbdiagram.io
Quick and simple free tool to help you draw your database relationship diagrams and flow quickly using just keyboard
1
0
2
VERA members, @blockscout @routescan_io @SourcifyEth have started writing to the prod database!. As of now there are +100k contracts. Next, we'll double check the data for correctness and add historical contract data. Let's build the largest public verified contract dataset!.
4
3
40
3
3
16
RT @notnotstorm: some of the most useful offchain datasets in crypto:.1. flashbots mempool dumpster (s/o @metachris).2. @verifalliance / @S….
0
14
0
ICYMI, our panel from @EFDevcon is live!. - How source-code verification is done.- How does the verification landscape look like.- What are the challenges.- What's the role of VerA to solve these problems.
0
4
9
Hello from Day 2 of @EFDevcon! 2 sessions today about the Verifier Alliance. > 11:40 - Stage 4 - Lightning Talk:"Verifier Alliance: inside the contract verification pipeline" > 17:30 - Stage 2 - "Panel: Source Code Verification"
app.devcon.org
Source code verification is the basis of trustlessness and transparency in blockchains. Many projects do source code verification but there hasn't been much collaboration and public interaction. The...
0
4
9
RT @blockscoutcom: 🚨 Happening today at @EFDevcon:.Source Code Verification panel with @verifalliance members. 📍 QSNCC, Stage 2.⏰ 5:40 PM….
0
4
0
RT @HugoApps: - Verifier Alliance: inside of the contract verification pipeline by Rim from @blockscoutcom. @verif….
app.devcon.org
The talk will guide you through a smart-contract verification process step by step while introducing some technical details and challenges verification services have to handle. Will describe what we...
0
2
0