No Forks Given | @Algorand’s Proof of State Aftershow

Recorded: Aug. 25, 2022 Duration: 0:27:39

Player

Snippets

Hello and welcome everyone to another episode of the Algaran No Forks Given Post Show. Hope you enjoyed our session with Baxian Monier from CERDIC.
They told us a little bit about their audit services, how the algodevs can come and connect with them to get their project audited, get their smart contracts audited, get them certified so that when they are ready to go to main
that those in the algal fam can have trust with the applications that they are deploying. So I want to look here, make sure I think we've got both Boxy and Maneer on
Are you guys there say hello? Hey Ryan, so this is actually Chase alright from the meetings before Monia Monier did not take this one I said very good Nice talk to you again. Yeah, very good chase well. Thank you very much. I hope that you enjoyed
The show is boxy joining us as well. Yes, he's on the at Sir to come and then we also have a bd Michael. If you could Michael if you could request to speak. Yep, got bring in Michael up his side of things nice. All right, well
to our listening audience here. What we want to do at this point is get you up to the stage to ask some questions of the CERDIC team. If you are an Algadev or if you are a project team lead and you are anywhere on your development life cycle,
You probably have some questions about audit services and that is one of the many services that CERTAC provides. So while we wait, I guess maybe I'll kick off with a question there. So we said, "Boxy, go through some of the examples."
and showed up both in TL and PyTL some of the various ways that devs code and actually run into some problems and then you provided some ways that we could solve those.
I'm wondering if the Elgatoves write their smart contracts in a higher level language, either PyTil or ReachLang, does Certic audit that code or are they auditing the resulting compiled teal code down below?
Let's see, I think we might have two people logged in. Is it Munir or Boxy on here? I'm mutin speak. All right, a very technical question that I've answered.
And now they've gone back to the litter mode. So I can tell that those that are most able to answer the question have stepped down. But Chase, maybe tell us a little bit about yourself and what your role is at certain.
Yeah, so I'm the social media marketing manager, so I Manage all these socials and that fun stuff and Typically in the host whenever we do Twitter spaces such as this that's why I thought I would Step in and join it because I'm quite familiar with doing them and it's always you kind of never know what's gonna come up in these Twitter spaces
So it's kind of, it's easily good to have a wide range of speakers, especially on our end, because we do get to the technical sometime, and I do not like to overstep and act like I am a developer, so I kind of say out of those. But we'll go ahead and think boxy should be back on. And then we have Michael here as well, who is a business development manager.
for us. All right. Well, let's check. Is he boxy? Did you? Are you able unmute and come up and say hello? Is that you? Hello, this is boxy. Okay, good. Boxy, hold on real real quick because I asked a technical question, but before I have you,
>> I will. But before I get there, let me just bring Michael to the stage. So Michael does develop
there. And part of what we talked about during the proof of state show earlier was kind of the when, when should we be engaging with the SIRTIC team? And I'm just wondering if you can speak just a little bit to that. I know you heard Manir say as early as possible, but anything you want to add there.
Yeah, of course, of course, and thank you for the introduction, right? It's good to connect again to answer your question Honestly, it's never too early to start having these conversations You know obviously the more information we can get from the project came it makes our job easier And you know if it's always good, you know another reason to start conversations earliest

FAQ on No Forks Given | @Algorand’s Proof of State Aftershow | Twitter Space Recording

What services does Certic provide?
Certic provides audit services for algodevs and project teams, auditing their projects and smart contracts to certify them before deployment.
What did Baxian Monier from Certic talk about during the podcast recording?
Baxian Monier talked about Certic's audit services and how algodevs can connect with them to get their projects and smart contracts audited and certified.
What kind of trust do the applications deployed by the project teams in the algal fam gain?
The applications deployed by project teams in the algal fam gain trust through Certic's certification process, which ensures that smart contracts have been audited and are secure.
Does Certic audit smart contract codes written in a high-level language?
Certic audits both smart contract codes written in a high-level language, such as PyTeal or Reachlang, as well as the resulting compiled Teal code.
What is Chase's role at Certic?
Chase is the social media marketing manager at Certic, managing the socials and hosting events such as Twitter Spaces podcasts.
What is Michael's role at Certic?
Michael is a business development manager at Certic.
When is the right time to engage with the Certic team?
According to Michael, it's never too early to start having conversations with the Certic team. The earlier they can get information about a project, the better.
What was the technical question posed during the podcast recording?
The technical question asked during the podcast recording was about how Certic audits smart contract codes written in a high-level language versus the resulting compiled Teal code.
What did the host say about the unpredictability of Twitter Spaces podcasts?
The host said that Twitter Spaces podcast can be unpredictable and it's good to have a wide range of speakers to cover different topics.
Who is the audience for the podcast recording?
The audience for the podcast recording are algodevs and project team leads who are at any stage of their development life cycle and have questions about audit services provided by Certic.