The 3rd audit for Rocket Joe has been completed

/* inline tdc_css att */ .tdi_52{
margin-top:0px !important;
margin-bottom:0px !important;
padding-top:0px !important;
padding-bottom:0px !important;
} /* landscape */
@media (min-width: 1019px) and (max-width: 1140px)
{
.tdi_52{
border-color:rgba(255,255,255,0) !important;
border-style:solid !important;
}
}/* custom css */
.tdb_single_content{ margin-bottom: 0; *zoom: 1; }.tdb_single_content:before, .tdb_single_content:after{ display: table; content: ”; line-height: 0; }.tdb_single_content:after{ clear: both; }.tdb_single_content .tdb-block-inner > *:not(.wp-block-quote):not(.alignwide):not(.alignfull.wp-block-cover.has-parallax):not(.td-a-ad){ margin-left: auto; margin-right: auto; }.tdb_single_content a{ pointer-events: auto; }.tdb_single_content .td-spot-id-top_ad .tdc-placeholder-title:before{ content: ‘Article Top Ad’ !important; }.tdb_single_content .td-spot-id-inline_ad0 .tdc-placeholder-title:before{ content: ‘Article Inline Ad 1’ !important; }.tdb_single_content .td-spot-id-inline_ad1 .tdc-placeholder-title:before{ content: ‘Article Inline Ad 2’ !important; }.tdb_single_content .td-spot-id-inline_ad2 .tdc-placeholder-title:before{ content: ‘Article Inline Ad 3’ !important; }.tdb_single_content .td-spot-id-bottom_ad .tdc-placeholder-title:before{ content: ‘Article Bottom Ad’ !important; }.tdb_single_content .id_top_ad, .tdb_single_content .id_bottom_ad{ clear: both; margin-bottom: 21px; text-align: center; }.tdb_single_content .id_top_ad img, .tdb_single_content .id_bottom_ad img{ margin-bottom: 0; }.tdb_single_content .id_top_ad .adsbygoogle, .tdb_single_content .id_bottom_ad .adsbygoogle{ position: relative; }.tdb_single_content .id_ad_content-horiz-left, .tdb_single_content .id_ad_content-horiz-right, .tdb_single_content .id_ad_content-horiz-center{ margin-bottom: 15px; }.tdb_single_content .id_ad_content-horiz-left img, .tdb_single_content .id_ad_content-horiz-right img, .tdb_single_content .id_ad_content-horiz-center img{ margin-bottom: 0; }.tdb_single_content .id_ad_content-horiz-center{ text-align: center; }.tdb_single_content .id_ad_content-horiz-center img{ margin-right: auto; margin-left: auto; }.tdb_single_content .id_ad_content-horiz-left{ float: left; margin-top: 9px; margin-right: 21px; }.tdb_single_content .id_ad_content-horiz-right{ float: right; margin-top: 6px; margin-left: 21px; }.tdb_single_content .tdc-a-ad .tdc-placeholder-title{ width: 300px; height: 250px; }.tdb_single_content .tdc-a-ad .tdc-placeholder-title:before{ position: absolute; top: 50%; -webkit-transform: translateY(-50%); transform: translateY(-50%); margin: auto; display: table; width: 100%; }.tdb_single_content .tdb-block-inner.td-fix-index{ word-break: break-word; }.tdi_52, .tdi_52 > p, .tdi_52 .tdb-block-inner > p{ font-family:Noto Sans !important;font-size:16px !important;line-height:1.8 !important; }.tdi_52 h1{ font-family:Noto Sans !important;font-size:26px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h2{ font-family:Noto Sans !important;font-size:24px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h3:not(.tds-locker-title){ font-family:Noto Sans !important;font-size:22px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h4{ font-family:Noto Sans !important;font-size:20px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h5{ font-family:Noto Sans !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h6{ font-family:Noto Sans !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 .tdb-block-inner blockquote p{ font-family:Noto Sans !important;font-size:22px !important;line-height:1.4 !important;font-weight:700 !important;text-transform:none !important; color: #dd3333; }.tdi_52 .wp-caption-text, .tdi_52 figcaption{ font-family:Noto Sans !important; }.tdi_52, .tdi_52 p{ color: #ededed; }@media (max-width: 767px) { .tdb_single_content .id_ad_content-horiz-left, .tdb_single_content .id_ad_content-horiz-right, .tdb_single_content .id_ad_content-horiz-center { margin: 0 auto 26px auto; } }@media (max-width: 767px) { .tdb_single_content .id_ad_content-horiz-left { margin-right: 0; } }@media (max-width: 767px) { .tdb_single_content .id_ad_content-horiz-right { margin-left: 0; } }@media (max-width: 767px) { .tdb_single_content .td-a-ad { float: none; text-align: center; } .tdb_single_content .td-a-ad img { margin-right: auto; margin-left: auto; } .tdb_single_content .tdc-a-ad { float: none; } }@media print { .single .td-header-template-wrap, .single .td-footer-template-wrap, .single .td_block_wrap:not(.tdb_breadcrumbs):not(.tdb_single_categories):not(.tdb-single-title):not(.tdb_single_author):not(.tdb_single_date ):not(.tdb_single_comments_count ):not(.tdb_single_post_views):not(.tdb_single_featured_image):not(.tdb_single_content) { display: none; } .single.td-animation-stack-type0 .post img { opacity: 1 !important; } } /* landscape */
@media (min-width: 1019px) and (max-width: 1140px){
.tdi_52, .tdi_52 > p, .tdi_52 .tdb-block-inner > p{ font-family:Montserrat !important;font-size:15px !important;line-height:1.7 !important; }.tdi_52 h1{ font-family:Montserrat !important;font-size:24px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h2{ font-family:Montserrat !important;font-size:22px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h3:not(.tds-locker-title){ font-family:Montserrat !important;font-size:20px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h4{ font-family:Montserrat !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h5{ font-family:Noto Sans !important;font-size:17px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h6{ font-family:Noto Sans !important;font-size:17px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 li{ font-family:Noto Sans !important; }.tdi_52 .tdb-block-inner blockquote p{ font-family:Montserrat !important;font-size:20px !important;line-height:1.4 !important;font-weight:700 !important;text-transform:none !important; }
} /* portrait */
@media (min-width: 768px) and (max-width: 1018px){
.tdi_52, .tdi_52 > p, .tdi_52 .tdb-block-inner > p{ font-family:Noto Sans !important;font-size:14px !important;line-height:1.7 !important; }.tdi_52 h1{ font-family:Noto Sans !important;font-size:22px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h2{ font-family:Noto Sans !important;font-size:20px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h3:not(.tds-locker-title){ font-family:Noto Sans !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h4{ font-family:Noto Sans !important;font-size:16px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h5{ font-family:Noto Sans !important;font-size:15px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h6{ font-family:Noto Sans !important;font-size:15px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 .tdb-block-inner blockquote p{ font-family:Noto Sans !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important;text-transform:none !important; }
} /* phone */
@media (max-width: 767px){
.tdi_52, .tdi_52 > p, .tdi_52 .tdb-block-inner > p{ font-family:Noto Sans !important;font-size:14px !important;line-height:1.7 !important; }.tdi_52 h1{ font-family:Noto Sans !important;font-size:22px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h2{ font-family:Noto Sans !important;font-size:20px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h3:not(.tds-locker-title){ font-family:Noto Sans !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h4{ font-family:Noto Sans !important;font-size:16px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h5{ font-family:Noto Sans !important;font-size:15px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 h6{ font-family:Noto Sans !important;font-size:15px !important;line-height:1.4 !important;font-weight:700 !important; }.tdi_52 .tdb-block-inner blockquote p{ font-family:Noto Sans !important;font-size:18px !important;line-height:1.4 !important;font-weight:700 !important;text-transform:none !important; }
}

Formal Verification Report for Rocket Joe

This document describes the specification and verification of Rocket Joe system using the Certora Prover. They undertook the work from January 13, 2022 to March 4, 2022. The latest commit that was reviewed and ran through the Certora Prover was ef2ef302.

Check out the report: https://www.certora.com/wp-content/uploads/2022/03/Rocket-Joe-Report-2022-03-17.pdf

Rate this {type}

/* custom css */
.td_block_separator{ width: 100%; align-items: center; margin-bottom: 38px; padding-bottom: 10px; }.td_block_separator span{ position: relative; display: block; margin: 0 auto; width: 100%; height: 1px; border-top: 1px solid #EBEBEB; }.td_separator_align_left span{ margin-left: 0; }.td_separator_align_right span{ margin-right: 0; }.td_separator_dashed span{ border-top-style: dashed; }.td_separator_dotted span{ border-top-style: dotted; }.td_separator_double span{ height: 3px; border-bottom: 1px solid #EBEBEB; }.td_separator_shadow > span{ position: relative; height: 20px; overflow: hidden; border: 0; color: #EBEBEB; }.td_separator_shadow > span > span{ position: absolute; top: -30px; left: 0; right: 0; margin: 0 auto; height: 13px; width: 98%; border-radius: 100%; }
/* inline tdc_css att */ .tdi_54{
margin-top:40px !important;
margin-bottom:30px !important;
} /* landscape */
@media (min-width: 1019px) and (max-width: 1140px)
{
.tdi_54{
margin-top:30px !important;
margin-bottom:20px !important;
}
} /* portrait */
@media (min-width: 768px) and (max-width: 1018px)
{
.tdi_54{
margin-top:20px !important;
margin-bottom:10px !important;
}
} /* phone */
@media (max-width: 767px)
{
.tdi_54{
margin-top:20px !important;
margin-bottom:10px !important;
}
}

Source