www.blockchaindevlabs.com Open in urlscan Pro
34.251.201.224  Public Scan

Form analysis
1 forms found in the DOM

Name: wf-form-Request-an-Audit-Form —

<form id="wf-form-Request-an-Audit-Form" name="wf-form-Request-an-Audit-Form" data-name="Request an Audit Form"><label for="Name-2" class="bdl-form-label">Your Name</label><input type="text" class="w-input" maxlength="256" name="Name"
    data-name="Name" id="Name-2" required=""><label for="Company" class="bdl-form-label">Company</label><input type="text" class="w-input" maxlength="256" name="Company" data-name="Company" id="Company" required=""><label for="Email-3"
    class="bdl-form-label">Email</label><input type="email" class="w-input" maxlength="256" name="Email" data-name="Email" id="Email-3" required=""><label for="Message-2" class="bdl-form-label">Message</label><textarea id="Message-2" name="Message"
    maxlength="5000" data-name="Message" required="" class="w-input"></textarea><input type="submit" value="SEND MESSAGE" data-wait="Please wait..." class="button bdl-send-form-button w-button"></form>

Text Content

BLOCKCHAIN DEVELOPMENT LABS
Past AuditsOur ServicesTestimonialsResearchersContact




IMPROVING THE BLOCKCHAIN

BDL is a Canadian company that provides business development consulting and R&D
for blockchain technology.
LEARN MORE


PAST AUDITS

We are the only Canadian firm that offers Quantstamp approved audit
certificates.
Here are some of our most popular audit reports and clients that we have helped
audit.
View

View

View

View





Get a permanent, publicly verifiable security record that lives forever on
Ethereum. Add the value of trust to your smart contract project.
REQUEST AN AUDIT
‍
 * We specialize in smart contract security auditing.
 * We leverage our deep expertise in formal verification to help our clients
   ship safe code.
 * We have a top team of PhDs and security professionals who have a     combined
   total of over 900 Google Scholar citations.
 * BDL is the only Canadian consulting firm that offers Quantstamp security
   certificates
 * Our peers trust us to solve hard problems like Plasma.




OUR SERVICES

Project Scope
and Discovery
What is your blockchain strategy?
We will evaluate your business and help you understand which blockchain use
cases are an ideal fit for your company.
Blockchain Technology Integration
After understanding how blockchain technology can best support your business, we
will develop the technology and assist your engineers in integrating it from
front-end to
back-end.
System Design and Architecture
We employ leading architects with expertise in formal verification techniques
and security who have built enterprise grade systems.
Expert Smart Contract Auditing
Have you already developed a smart contract or blockchain solution? Contact us
to get a white glove audit from the leading security experts in the field. Give
your users confidence that your code has achieved the BDL security standard.


TESTIMONIALS

"When developing our Plasma MVP Implementation, we wanted to have strong
security guarantees. As a scalability solution, our plasma implementations could
potentially be handling massive transaction volumes. They have audited
large-scale, mission-critical initiatives in the past, and working with them was
an obvious decision to make."
Vansa Chatikavanij
CEO of OmiseGO
"They were great to work with. They were professional and efficient when working
with us to make sure that our production contracts were secure. Their
comprehensive analysis resulted in an easy to use audit report that showed where
things could be improved and ultimately gave us confidence in our smart
contracts.”
Mick Hagen
Founder & CEO
“Their audit process was comprehensive and streamlined. They provided thorough
feedback in addition to an audit certificate and auditor’s opinion letter that
gave our stakeholders confidence in our smart contracts.”
Noah Thorp
Vice President of Engineering, Sharespost






SECURITY RESEARCHERS


ED ZULKOSKI, PH.D

SENIOR SECURITY ENGINEER

Ed holds a Ph.D in Computer Science from the University of Waterloo. His
research there was primarily in SAT/SMT solvers and formal verification
technologies, with a focus on understanding what makes SAT formulas hard or easy
for solvers. Before joining BDL he worked at Microsoft Research.




LEONARDO PASSOS, PH.D

SENIOR SECURITY ENGINEER

Senior Research Engineer Leonardo has a Ph.D. in Electrical and Computer
Engineering from the University of Waterloo for his work on mining patterns from
the Linux kernel source code and other systems. He is a Microsoft research
competition medalist, with industry experience in backend development,
compilers, and scalable data pipelines.




ALEX MURASHKIN

SENIOR SOFTWARE ENGINEER

Alex is a full-stack software engineer with advanced knowledge of Amazon Web
Services and cloud computing security. He also has experience in designing and
implementing distributed systems and serverless computing architectures.




JAN GORZNY

BLOCKCHAIN RESEARCHER

Jan is a Ph.D candidate at the University of Waterloo. His research interests
include complexity theory, software verification and formal methods, discrete
mathematics, and blockchain technologies.




MARTIN DERKA, PH.D

SENIOR RESEARCH ENGINEER

Martin holds a Ph.D. in Computer Science from the University of Waterloo. He
also studied at Brock University, McMaster University, Masaryk University in the
Czech Republic, and has additional degrees from some of these. He is former
Vanier Scholar and a brief NSERC post-doctoral fellow at Carleton University.




RICHARD MA

CO-FOUNDER & CEO

Richard Ma is a former software engineer at Tower Research where he developed
software that handled millions of dollars using extreme testing methods. He was
inspired to found BDL after investing in the DAO and experiencing the aftermath
firsthand. Richard aims to secure the future of blockchain technology through
the Quantstamp protocol.




REQUEST AN AUDIT

Ready for a consultation? Get started verifying your code today:
Your NameCompanyEmailMessage
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
Copyright © 2021 Blockchain Development Labs Inc.
Past AuditsOur ServicesTestimonialsResearchersContact