In today's video I made what could have been one of our greatest purchases ever. What's up guys we're back with another purchasing video where we are going to be showing you guys a really cool purchase that I just made but first we have a giveaway. I'll be giving away this first ed rage of raw booster box. All you have to do is like the video, be subscribed, turn on notifications, let me know in the comments what you think about this purchase. Hopefully it turns out to be legit. So we have here what we call a dirty box. So inside this is something very, very cool. So I'm going to show you guys open this up. You may be able to see what's going on here. This is retro pack two. And yeah, you can see there is a lot of packs in here. Exactly 63 packs. So obviously that's a lot of retro pack two, but there's also a couple of loose cards as well. I can't believe you missed it. What, Roxanne? What I miss my last what not stream? It was amazing. But don't worry, we have another one coming up next Thursday, April 13th. You might be asking, what is what not? What not is an app where you can live stream your auctions live as well as you buy it now and have listings on a live marketplace. We did a stream last Thursday and I sold a ton of stuff on my buy it now, my live auctions and a lot of you guys showed up and it was a lot of fun. You can check out my live stream by going to my link down below. You can also find people like team samurai and simply unlucky on there. They stream as well. And not only can you buy awesome stuff on the platform, you can also win awesome stuff in giveaways. Last time we gave away over $500 in cards and if you guys want to win something for free, go check out my next live stream as well. And I forgot to mention the best part. Use my link down below. You get $15 for free. When you make your first purchase on what not, it can be with me. You can be with someone else like simply unlucky or Sam. So make sure you guys come to the live stream Thursday, April 13th. It's going to be at 5pm central just like the last one we did. If you guys were here, it's going to be insane. It's going to be a lot of fun. A lot of big cards coming up. A lot of big cards being given away. So I hope to see you there. Thanks again to what not for sponsoring this video. So I bought these from a guy. He had all of these loose and he said he opened a few and this is what he pulled.  But he did pull this Valkyrian, the Magna Warrior, which is a secret rare out of the set. So this set has of course supers, ultras and secrets. But this is an amazing one. Obviously the blue eye shining dragon comes in this. It's a very expensive card. So these are very expensive packs. So I picked up all of these. The guy said that he he got them from I think his local store, which got them from somewhere else. I am not too sure. Like he said that he got that secret rare, but he only got a secret rare out all these cards. It looks like he got one foil. So I'm not really sure if these are legit or not. We did pay a lot of money for these. So the only real way to figure it out is we're going to have to open up a couple of these. So the goal in this video is definitely not to open all these, hopefully not many at all. But if you remember, this is the set we did pull the blue eye shining dragon in the 20k special. We've had some great luck with this. We've opened this versus rhyme style. So I really love this set. It's really fun.  I looked them. They didn't look resealed, but wait, you can't really tell if that's been done or not. So we're going to have to open up, figure out if there's something in here. I'm hoping that there is a foil, like pretty early so we can save a lot of these packs for later. I really don't want to be opening up 63 packs today. If we do that, then something went horribly wrong. So we're just going to open up a couple of packs retro pack to hopefully not, you know, nothing crazy happens here. We're going to take our time because these are like $200 packs, something like that 175. I don't know. They're very expensive. Let's see. They came out in 2009. They have a retro pack one, which is even rarer. Those are insanely hard to find. But inside you get nine cards, you get 48 total comments, 24 rares. Then you get one in five as a super rare. Was it one in five? No, just five super rares. That's what it is. No, 10 super rares, one in five. Dang, one in five. It was rough on here. It was tough to get supers out of retro pack too. And then maybe that's why he didn't pull one. And then eight ultras, one in 12. So eight ultras, there's also like eight secret rares as well. Let's see. I think there is, oh, there's a lot of secret rares. There's three. So yeah, it's eight. So there's a blue eye shining dragon. That's the best card. Dragon master 90 is in here as a secret rare. That's a great version. Light Nardens Dragon is awesome. Harpy Pet Dragon. Archwing of Guilford. We also pulled one of those out of a blister one time. Ring of Destruction is a secret. I've never pulled that one. Valkyrian. And then we have Dread Scythe Harvester. I've never even really seen that card in the retro pack two version, but there is that version. Then for the ultras, the good stuff is like Genzo injected very late thousand eyes, jam defenders, stuff like that. So it's really the secret rares is what you're looking for when you're like opening these up. But there's some pretty cool cards. Like the blue eye shining dragon is amazing. And Dragon Master Knight, I would definitely not be mad about either. So okay, I'm nervous. Let's open. Let's open a couple of these up. Hopefully we don't have to open too many, but here we go. This is an expensive opening guys. So I'm going to take my time on this opening a few of these packs. Hopefully these are legit. Hopefully we get some good stuff out of here. I don't know the pack trick. I'm guessing it's four. I'm going to do four. I don't know. Is that right? We have Mask of Restrict. That's a nice common right off the bat. Bazoo the soul eater also. I mean, a lot of cool like go cards in here because it's 2009.  Tornado wall. We got a premature burial. That's a crazy common card. Also very good spirit message. Oh, this is not a good start guys. That is not what we wanted to see when we're not sure about the packs. Okay, spirit message L, spirit message and maybe that'll redeem us a little bit. We have a kai kyu the ghost destroyer. Also a crazy card. And then we have a ultra rare injection fairy lily. Okay. These packs look good. One back in. We have an injection fairy lily. That's one of the best ultra rare cards in the set. Oh, thank goodness. I was getting super nervous that we were going to have like, I was going to open 20 packs and they were all going to be, you know, rare stuff. So we're starting it off. It's an ejected fairy lily. You know what that means guys? I don't have to open any more packs. Oh, thank goodness. All right guys, I'm extremely relieved. I only had to open one pack. That's great. But I'm not ending the video here. It's only been five minutes. Obviously we got to get to eight minutes for monetization, guys. You know what I'm saying? So we're not just going to open ghosts in the past. I'm going to bring in some legacy of darkness and some LON. So you guys still get some old school open to get one retro pack of two. Yeah, just be happy about that. Be happy for me that we have to open those. I think I'm planning on using some of these for my 200k special. I'm going to announce my 200k special in this video. Stay tuned for the end. I'm going to tell you guys what the plan is, what I'm thinking about doing. I think it's going to be pretty cool. And then I also think we're going to have some of these. There's a dark one just in the dragon knot, knots, dragon knots, dragon knight. I also think we're going to be using some of these on our whatnot stream. So make sure you go check that out. If you want a chance to get some of these, which we just found out are legit, which is awesome. Then go check out the whatnot stream. Some will be there. Some will be open on this channel, which is open one. And then we'll open a lot more. I'm thinking like 24 more probably in another video. If you guys want to see that, that's not going to be the entire 200k special, though. We're going to be doing a lot more than that. We're going to be opening some pretty cool stuff. So here we go. Let's go legacy of darkness. Unlimited, unfortunately, not first ed, but still we could get a secret rare. I can't believe, wait a second. We just pulled injection fairy lily. Now we open legacy of darkness and we pulled the secret rare injection Let's do it. Gray wing, ready for intercepting, nutrient Z, warrior digreffer, ominous fortune telling, mysterious guard, stamping destruction, spring of rebirth and warrior returning alive. Very cool. Yeah. So I met up with this guy at my local store and he brought all these packs and I looked at him and I was like, these look pretty good. But then I was like, oh, let's show him a rhyme style.  Those are loose. Haha. Then I got nervous. I was like, Oh, you're right. I should probably have like worried a little bit more. But like I double checked everything. I mean, but the thing is you can never check if they're weight or not. That's kind of the tough part. But his story did sort of check out and talking to him, he seemed like a legit guy. So I was like, I think these are good, but I definitely want to be sure before we do any like selling of them or anything.  Oh, and a diffusion. There's a foil diffusion. Beautiful. That looks good. Also, when I pulled the blue eye shining dragon for my, for my special video, I want it to be a, you know, you know, hopefully we do pull that blue eye shining dragon. That'd be pretty cool. So so far we've already got a diffusion super injection fairly ultra. It's been a pretty good opening to be honest. I mean, this has turned out pretty well, not bad. I mean, just look at all those retro back to you guys want me to open a right now. Don't you? I know, I can tell. Imagine if I was just like, yeah, we'll open all 62 of the other ones. That'd be pretty great. That would be crazy. That would be the craziest thing I've ever done. Life absorbing machine. Well, maybe not. We've done a lot of crazy stuff. Legendary ocean, serpentine princess. Time to get that injection fairly. Let's go. We have the feng shing mirror and we have a blast with chain. All right. We've got a circuit break pack here. Let's just pull evenly max secret rare real quick.  You got retro pack to lunar like Lido chick. Maybe we'll, should we open one more? I don't know. I'm tempted. I'm really tempted. I really shouldn't open one more. That's a nice super. But you guys, it's tempting. Okay. Photon. I didn't even mean to grab photon hypernova. All right. We're opening it up. We're opening some photon. Let's see if we can get a starlight where, how about the other day when we pulled a starlight? That was crazy. That was, that was wild. I was not expecting that. Photon time stop. I can't believe we just pulled an ejection fairly. That's pretty amazing actually. Scareclaw on the first pack too. Sneaky sea. That's awesome. Super rare. All right. Maze time. Let's maze it up. Maze of memories. One, two, very nice. We have a labyrinth wall shadow, mech night blue sky, riyoku guardian. Time to stand up. The something, we have the court of justice. Wait, do we get something? That gets something. An ultra rare baron de flore. Dude, our lucky day right now. This is our lucky day. I think that maybe we should keep opening because at this rate, we are pulling everything. Wow. Photon hypernova. This is crazy. We're pulling so many good things. So first we pull first pack, injection fairly literally ultra rare. One of the eight ultras in retro pack too. Then we pull a super rare, a legacy or lab at the nightmare. And now we're pulling a baron de flore ultra rare and now we're pulling a chaos witch, which is chaos. So it's old school. So that's a good pull. Even though it's not really old school, it's just based off an old school archetype. Okay. We have the labyrinth of, uh, labyrinth of nightmare. There we go. Labyrinth of nightmare. One, two, three, four. Will we get a secret rare? We have the dancing fairy. Worm drake. Blind destruction. Amazon archer. That's a rucksack special. Dream sprite. This is a super short print. Humanoid word drake. Worm drake. There we go. Grave robbers retribution. Gadget soldier. And we have a tornado bird, the bird of tornado. All right. We're super audible in this video. So what we're going to do, we're going to open up these four packs. We're also going to open up one more retro pack too. For you guys, I'm opening up one more also because I really want to open one. So we're not going to go one, one pack in, even though our one pack was a banger. Let's see what we can get out of here. We have, this is like ghosts in the past too. So let's do this. We have a mystical shine ball, the infinity sage, signet conflict, domain of the true monarchs, and a go ddd divine zero king rage. Sure. Yeah. Sure. Let's go to another ghost in the past too. Let's see what we can get out of this pack. Will it be something epic? I have a good feeling because this has been a very lucky video. So we might as well pull a ghost share right here. Why not? We have vampire domination, master hyperion, vampire grace is really hard to see the names from this angle. And okay, vision hero increase. That's okay. We didn't need anything out of ghosts from the past too. Anyway, legacy of darkness. Here we go. Got to believe, got to pull something guys. We have legendary ocean, Robo Yaru, fiend comedian, wolf axe wielder, dragon's rage, reu kitchen clown, hard to clear water, honest fortune telling, and a shadow tamer, tamer of the shadow. Labyrinth of the nightmare. Then we're going into a final retro pack two that we're going to open up for this video. Let's see what we can get. I'm excited already. One, two, three, four. Can we get something out of Labyrinth of the Nightmare? Just a kickstart us. Here we go. Aqua spirit, the spirit elimination. We started off with the L and it turns out that was a lie. It wasn't actually an L. Skull layer, hysteric fairy, portrait secret, the dark door, dream sprite, grave robbers retribution. And will we get a foil here? Oh, not like this and Ellen will the retro pack two and Labyrinth of the Nightmare. Oh, why? That is so painful. But fortunately for us, we've had a pretty good opening. So the L's are just lying today. We are opening this final pack for this video retro pack two. Oh my goodness. Not intended for individual sale. Not intended for that, but we're going to be opening it. Here we go. Let's see what we can pull. Will we pull the blue eye shining dragon? Can you imagine? One. It was four last time. Last time it worked. We got an injection fairy lily. Jim and I elf as a common. Pretty insane. Appropriate. A lot of these commons are worth like two or three bucks. The dust tornado. Another great goat format card. Mask of a Strip. Got that in both packs. I don't know how big this set is actually. Mad sword beast. Wait, let me look real quick. This is a 100 card set. So there's 100 cards in here. Not too small, but not too big. Guardians of Inks kind of right in the middle actually. Guardians of Inks is nice. Gilosaurus. Will there be a secret rare in the back? Creature swap. Okay. Final card. Last time we got an ultra rare. Will it be insane? Here we go. Tyrant dragon. Super rare. So I think we know these are legitimate packs. Two foils. Tyrant dragon is not crazy money or anything, but hey, two packs, two foils. That's about as much you can ask for. Looks like we got some legit retro pack twos. So I almost forgot to reveal the 200k special, which is not even 100% confirmed yet, but I am thinking that I opened 200 of the most awesome Yu-Gi-Oh packs. So these retro pack twos will fit in perfectly because they're like really old school, really rare, really expensive. I already have a first-ed IOC that have been saving for that. Just a pack, not a box. We'll get there eventually guys. So I'm going to be gathering up some of the rarest Yu-Gi-Oh packs. I got so distracted by our awesome polls. I forgot to actually tell you that. So if you guys have some awesome Yu-Gi-Oh packs, I may or may not pick them up from you. Potentially open them up in my 200k special. We are about 8,000 subscribers away. So a couple, two or three months, who knows when we'll get there. Hit that subscribe button if you want to see that. Shout out to the Toanfo show, Daxter JTTO, Puffins of Doom, Ernesto D'Anda, Dizzy Hoppus, Choice333, Missycle James Jantz, TCG Trust of Cards, America Deutzer, Supreme Stage 21, Anana Taisho, Ian Musa, Junior Barting, Mimic Gecko, and Thomas McClane. Thank you guys for supporting the channel. I'll see you guys in the next one. Peace.


Item No. SCP-1141 Object Class Keter Alterius Special Containment Procedures All public zoos in Connecticut, Maine, Massachusetts, New Hampshire, Rhode Island, and Vermont are to be under constant surveillance by personnel at Site-85 and Site-86. Should SCP-1141 occur, the approximate nature and threat level of SCP-1141-1 is to be ascertained as soon as possible, with the nearest branch of Mobile Task Force Gamma-80, aka Ecologist, deployed to the zoo in question with all equipment deemed necessary. Upon arrival, MTF Gamma-80's task is to destroy SCP-1141-1 or render it inoperable as soon as possible. The use of force is authorized for this purpose. If SCP-1141-1 does not pose an immediate risk to the public, MTF Gamma-80 will purchase several food items and prevent all public access to SCP-1141-1. If this does not result in the disappearance of SCP-1141-1 within 25 minutes, Site Director Jackson is to be notified. Food items purchased from SCP-1141-1 are to be sent to Site-86 for further research and containment. AMN-M-4311 is to be distributed through the zoo's public address systems, mass texting services, and all relevant social and news media after the disappearance of SCP-1141-1 and the departure of MTF Gamma-80 in order to prevent dissemination of information regarding SCP-1141 and related Foundation operations. Damage to zoo property and any casualties are to be attributed to fire, vandalism, or animal escape as deemed appropriate to the situation. Should Site-85's budget allow, an anomalous donation may be made to the affected zoo to cover cost of repairs. As of ██████, additional resources have been allocated to Project's deemed capable of neutralizing SCP-1141 with all strictly relevant research under the purview of Dr. Eichmann. Description SCP-1141 is a phenomenon in which an instance of SCP-1141-1 instantaneously appears at a public zoo in the New England region of the United States. This occurs approximately 30 minutes prior to the opening time of the zoo in question. The infrastructure and nearby structures, such as utilities, enclosures, pathways, and other buildings, will be altered to accommodate SCP-1141-1's presence, as will maps of the zoo. SCP-1141 will only occur under the following conditions. No instances of SCP-1141-1 are operational. Instances in 20% of the zoo's grounds are covered in snow. The temperature has been above 15°C during operating hours for the past week. At least 250 days have passed since the demanifestation of the most recent instance of SCP-1141-1. Instances of SCP-1141-1 take the form of a fully staffed, supplied, and operational restaurant that is thematically consistent with other restaurants in the zoo and with the area of the zoo in which it is located. Conserved to SCP-1141-1 is consistent with food served at similar establishments, with the exception of each instance offering guacamole with pineapple chunks. Food and other supplies will appear as needed inside SCP-1141-1 out of view of the public. Staff of the zoo will not demonstrate any familiarity with SCP-1141-1. All individuals staffing SCP-1141-1 are anatomically and behaviorally consistent with human beings, and will run SCP-1141-1 to the best of their ability. These individuals are fluent in English and knowledgeable in the operation of SCP-1141-1. They are either unwilling or unable to answer personal questions, such as identity and personal history, or questions pertaining to the nature or origin of SCP-1141. They will not leave SCP-1141-1 willingly. Instances of SCP-1141-1 have an unpredictable and often dangerous effect on their surroundings. The exact cause of this is not known with certainty, however, analysis has led several researchers to propose that instances of SCP-1141-1 do not necessarily operate under physical laws or constraints present in our dimension prior to their manifestation. See event log SCP-1141-1 for details. If an instance of SCP-1141-1 is rendered inoperable, or if its presence causes obvious injury to a person visible from SCP-1141-1, the instance will demanifest itself within the next 25 minutes, with all infrastructure, structures and matters of the zoo returned to their previous condition. All food items sold by SCP-1141-1 will remain, and may continue to demonstrate anomalous properties. All locations in several manifestations have been removed from this document as for level 2 probationary clearance protocols. This document will serve to illustrate the effects of SCP-1141 and should not be taken as a comprehensive list of SCP-1141 events. Year July 1985 Event Accurate description of SCP-1141-1 could not be gained. Instances in all of its contents manifested at approximately 5,000 degrees Celsius. Despite this, it appeared to be fully functional and did not combust. An instance disappeared after its foundation crumbled, resulting in structural collapse. Fire caused by SCP-1141-1 destroyed several animal enclosures and injured four park employees before being extinguished. Year June 1990 Event SCP-1141-1 manifested as the Amazon Basin Cafe, while the building remained intact, SCP-1141-1 appeared to experience gravitational force approximately 2.3 times stronger than Earth's surface gravity. Two orders of french fries were procured prior to SCP-1141-1's disappearance due to the inability of its staff to serve customers. Testing indicated this food had no greater mass than comparable french fries, yet weighed 2.3 times as much as their mass would indicate. Year June 1991 Event SCP-1141-1 was entitled A Grizzly Tail. The instance was found to be fully operational and not immediately dangerous. A variety of food items were purchased before SCP-1141-1's disappearance was induced by the placement of foundation guards to prevent entry. Announces of the food indicated that its de Broglie wavelength was approximately 1 cm, despite having a normal mass. The food has been designated as a separate anomalous item and is contained at Site-86. Year April 1992 Event SCP-1141-1 was not detectable aside from alterations to infrastructure. Maps of the zoo marked the restaurant called Safari Grill. The changes to the zoo's infrastructure reverted two hours after opening, presumably when it became apparent that none of the zoo's patrons were aware of SCP-1141-1. Other records indicate that relatively frequent repairs to structures near this area have been necessary since its manifestation. Year September 1994 Event SCP-1141-1 manifested as The Glacier Cafe. Reports and later announced to indicate that this instance of SCP-1141-1 was subjected drastically accelerated buildup of static electricity. SCP-1141-1 did not appear to be grounded. Further, weather conditions at the time contributed to this problem. Seventeen individuals, not including the occupants of SCP-1141-1, were killed by static discharge before SCP-1141-1 disappeared. Conversations between two individuals occupying SCP-1141 recorded July 1978 via a hidden microphone. The individuals in question have been identified by the names on their name tags. The conversation was held in English. Note, special containment procedures at the time of the recording involved keeping a relatively safe instance of SCP-1141-1 in operation at the ████ Zoo. Access was denied to the general public and personnel regularly purchased food from SCP-1141-1 to maintain containment. Dwayne, I don't think they are actually eating the food. The maintenance people have been carrying out more trash than they were when we were scouting. Betty, so? They're still buying it, doesn't matter if they eat it? I didn't get into the restaurant business in this universe to not be allowed to actually serve my food to the public, unintelligible. It's probably poison or something, isn't it? Or Miranda messed up to speed a light again, I can't even tell. So why don't you go talk to them and convince them to let us work? They know we won't break containment or whatever it is, right? We can talk and act just like people. And how do I convince them that it won't end up like it did in ██████, or ██████? I swear, a tiny fraction of the ketchup is accidentally ██████, and you can't be trusted with anything. Asking some human scientists for help without the question? You know they wouldn't understand anything about how we make this happen. They're still primitive. According to your standards, maybe, but if you're going to be difficult then whatever. Honestly, your obsession with restaurants and zoos is kind of creepy, and a little racist. Do humans count as a race? I don't even know, honestly. I've been breathing oxygen for too long. While you're perfectly free to leave if it bothers you that much, except you can't because you lost your travel license in ██████, unintelligible.  So now you care about killing humans, unintelligible. Just shut up, we're leaving. SCP-1141-1 Demand-Fested 7 Minutes Later Further attempts to restrict the public's access to SCP-1141-1 from that point on have resulted in SCP-1141-1 disappearing. Containment protocols have been altered appropriately, and SCP-1141-1 has been upgraded to Keter status. Addendum, until we fully understand and can predict the properties of SCP-1141, the possibility remains that it could trigger a catastrophic event, such as an antimatter explosion or vacuum metastability event, with no forewarning. I formally recommend fast-tracking research that could be useful in producing the means necessary to neutralize SCP-1141. Dr. Eichmann Approved Dr. Foster


Hey everybody what's going on? I am Greg Sussman joined today by Jim Sonis of Fandle taking a look at this week of a PGA tour What's happening Jim? It's all good Greg pretty interesting set up these next couple of weeks here for PGA because they're going to We are filled village for both this week and next week for two separate events So we'll answer interesting data to work with for next week for this week We can look back at past events at the Memorial Tournament as they get set for the first and only I believe Work-day charity open, so it should be a pretty fun couple of weeks here at the PGA. So I'm excited. How are you doing? I'm feeling good man Bryson B. Shambo finally picks up a victory The only thing I'm disappointed about today, no Bryson this week But that's okay because we do have Justin Thomas who this week on Fandle is priced at $12,000 Justin Thomas is your guy as your highest-priced player. How come? Yeah, there are a lot of reasons that I like Justin Thomas I think a lot of these same reasons apply to Patrick Cantley. He is 11,700 dollars I think that those to me are the 1a and 1b for this tournament The reason I prefer Justin Thomas is that he has slight edges over Cantley in a lot of different categories One of them being driving distance and the if you look back at past events at Weirfield Distance has mattered as in like guys who are good for the full PGA tour season from a distance perspective Tend to do well here Justin Thomas ranks 10th in this field in driving distance over the past 50 rounds according to fantasy national He is first in approach and also 13th in scrambling. So good all around from that perspective And you could counter by saying well Patrick Cantley won at this course last year Justin Thomas hasn't been too bad at this course either. Missed the cut last year but eighth year before that Fourth back in 2017 So he has course knowledge and good course history if he was not the winner last year as Cantley was Bendgrass is the worst putting surface for Justin Thomas, but he's still a roughly an average putter there And I think that you can deemphasize putting a bit for this event as well So I do like Cantley quite a bit and Cantley is tempting I think you could justify potentially jamming in both these guys But if I had to pick one I'd probably go Justin Thomas at $12,000 the approach a little bit better Distance a little bit better and he has equal course history to Patrick Cantley So give me Justin Thomas by a hair over Cantley at the top Is there a way to get Justin Thomas and Patrick Cantley in your lineups this week Jim? I think so because if you look at the the player pool on Fandle They're actually we're not talking about them today But they're actually a decent number of golfers in the the low 8,000 range Why find pretty intriguing and I kind of hate the upper 9,000 so you can you can skip tiers I think that's a pretty enticing thing to do here So yeah, you can fit in both and I am going to at least give it a try I think that it's both doable and very viable given the appeal in both those golfers Cantley and Justin Thomas the two clearest high-priced players for Jim on this week's slate He got Justin Thomas as his favorite by a nose at 12,000 but putting in both of them It's doable. Let's see if it's worth the shot you this weekend If you want to get a little bit cheaper than Patrick Cantley and Justin Thomas You can get to Victor Holland who's ten thousand nine hundred dollars on Fandle Holland obviously Participating a lot. He's been around that leaderboard quite a bit. So last week But Holland in your lineup here this week at ten thousand nine hundred Yeah, Greg We talked about Victor Holland a lot when we discuss him. We always talk about the ball striking We always say the ball striking is great I just wish he could make a putt but I kind of think that we shouldn't just assume Victor Holland is gonna Get a bad putter this weekend because if you look at the very small sample on Victor Holland's career He actually has been kind of okay when putting on bentgrass now I'm not gonna go out of my way to say okay You target Victor Havan whenever he's on bentgrass, but being Okay in a small sample is better than being terrible in a small sample So I think that's a positive for Victor Havan It has mentioned the ball striking is going to be elite if you look at the four events He has played since the end of the COVID-19 layoff. He's gained at least five point seven strokes t-degree in all four events He has gained at least nine point six t-degree in two straight and he's been at the top of the leaderboard in that category for consecutive events Hasn't got a top ten since the end of the COVID-19 layoff because of the bad putting But if he can get that putting to just be kind of normal this weekend and pair it with his usual ball striking Havan will pay off very easily at ten thousand nine hundred dollars You could pair him with a guy like Justin Thomas for Patrick Cantley or you could with a bit more balance of a lot And have a guy like Xander Shafley be your most expensive golfer than pair with Victor Havan If you do that you are avoiding that that those weird tears that we don't like below nine thousand dollars And I think there is a lot of appeal in that for this weekend So balance rosters in play Victor Havan a potential key part to those balance rosters and a guy with some serious upside If you can just think a putt or two this weekend as you mentioned we talk about Victor Havan a lot It's always revolving the putting because we know that ball striking ability and the putting just isn't always there this weekend He could put it together He's gonna be worth putting your lineup at this price at ten thousand nine hundred We have couple tears we want to avoid but this one it's a good one and a fair one for Victor Havan Up next we'll move a little farther down just a bit to ten thousand dollars And that's where Joaquin Neiman is at Neiman's price continues to steadily rise here Jim now cracking the fifth Digit why do you like this price for Joaquin Neiman? Yeah, I think it kind of goes back to the putting because again Normally Joaquin Neiman is not a good putter But he is actually a decent putter on Ben grass and that's where they'll be this weekend So that's going to be a normal thing for Joaquin Neiman and the ball striking as I mentioned Victor Havan It's going to be good. We know that's going to be the case and I think we can better assume He will be not terrible on the greens when he's on Ben grass versus other Other surfaces Neiman has looked pretty good recently He's gained at least one point nine strokes and approach in all three events since the end of the COVID-19 layoff That has pushed him up to 14th in this field and approach over the past 50 rounds according to fantasy national He is also 23rd in distance So we'll have distance and good approach play and he'll probably be at least okay on the greens And Neiman is a golf worth experience on this course. He has played here twice He's played here very well in both those events as well So Neiman kind of checks every box good ball striking not terrible putting and he has course experience as well I don't care about course history. I just want course experience Neiman has that and then the the history does help too Because it has been good experience for him at this course So Neiman fits really well what I want If you go back to where we were discussing with Victor Havan where I'm okay going with balanced rosters every now and then That allows you to get to guys like Joaquin Neiman for that third slot on your roster I think that is very enticing for this week. So when I decided to go balanced a lot of the time Joaquin Neiman is going to be in that lineup when you want that balance attack where you have the high price players up top Good crew in the middle and then some not so great guys in the end. Joaquin Neiman fits perfectly. He does a lot of things well Just not all that much really well, although the ball striking obviously is there Was he of Joaquin Neiman to put it all together this weekend Up next Corey Connors at $9,200 but I've not talked about Corey Connors in a few weeks I feel like the only time we talked about him Since COVID the COVID break was over. It was that first tournament and now we're back with Corey Connors at $9,200 Why is Connors all of a sudden appearing back in our lineup here? Yeah, we kind of need to go at Connors in events where we can deemphasize putting a bit because he's a disaster He's a complete disaster and that's going to be the case this weekend I am going in assuming Corey Connors will lose a couple of strokes putting but The ball striking is so good that he may be able to make up for that So I can justify him at $9,200 and it's you know, it's not his worst putting surface So at least there is that but the big reason we can go to Connors here is that he is still a stud on his approach He has gained at least 2.4 strokes an approach in all three events Since the the resumption to play and that is despite missing the cut in one of those events So he played just two rounds still gained 2.4 strokes an approach He's been above three in the other two events If you look at those two events where he did make the cut Connors finished 21st in 19th And he has enough distance where he will grade out well at least for me for this course as well So he's $9,200 and you have to take on those concerns for sure with Corey Connors because he could lose six You know six strokes putting for this weekend. That is a major detriment But I think the upside is there if he can just be okay He can definitely get you a top 20 top 10 type finish for $9,200 Corey Connors, Joel Damon both kind of in that similar mold Harold Barnard III as well all here in the low 9,000s I like this range a lot more than the upper 9,000 So I'd much rather live here than forcing with the guys just below Joaquin Neiman But among those guys with the good ball striking the bad putting put Connors at the top of my list Again, when it's about the ball striking you have Corey Connors. He's good putting Not really we do this a lot here on the hurry up where we find the ball strikers The guys will get you a lot of a lot of uh fandal points I totally get to the green where we'll let you down and we only are looking for a few thoughts to go our way Hopefully Corey Connors can make that happen for us this weekend Let's go even cheaper. Let's go under $9,000 not all the way to the low 8,000s But the high 8,000 $8,700 specifically and that's where Emiliano Grillo comes to mind here Grillo at $8,700 First time since the cover break. We've gone with Grillo who was somebody that Consistently earlier in this season. We were going with how come Grillo is back on our radar now Jim He's very similar to Joaquin Neiman where you can specifically target him on Bencraze greens because Neiman and Grillo are bad putters on both surfaces But Bencraze the one area where they're actually not that bad It's very much the best surface for Grillo is actually a plus putter on Bencraze where he is Actively actively negative on most other surfaces. So that's a good thing And he is also in that same mold you were talking about where we expected to get the ball on the green In an efficient manner and we're looking at Grillo here He ranks fourth in this field an approach over the past 50 rounds according to fantasy national He gained a 4.7 strokes an approach at the travelers just a couple weeks ago So he's looked good since the end of the COVID-19 layoff with those second and third shots And that's a good thing now Grillo is not as long off the tee as most the other guys we've discussed here so far today But not a wet noodle used 89 the distance. He's 11th and fairways gain. So even though he's not going to bomb it He'll be okay And he'll put it on the fairway at least which is a good thing if he's not going to go super long So Grillo, I think because we're going back to Bencraze because he's $8,700 Should be a decent bet to make the cuts at a not so high salary That's not always the case if you look at Grillo's player card You're going to see a lot of missed cuts on there But I think at the different situation when he's on a putting surface like this So this kind of hoping that the ball striking stays where it is And he can do his usual stuff on Bencraze because if Grillo does that he's a pretty good bet to pay off at Just $8,700 Finally talking about someone that can actually put the ball well and that is exactly what Emiliano Grillo is As you said comparable to what he needed back on our radar here We uh, Grillo and even in our lineups Grillo $8,700. You're getting a really well priced golfer here under nine grand And I think it's worth it One last golfer to bring up today on the show is $8,600 I think it's a really good price to have a brand in steel who has come up on the leaderboard as of late steel $8,600. I think it's a good spot for him and a good price ship. Yeah, I think that when we're looking at Brendan steel I would de-emphasize the recent good finishes. He was sixth pretty recently that was fueled by putting and Shocker Greg Brendan still is not a good putter. I know this will surprise you to hear that But it's not a good putter But he does other things really well And I think that that's what draws me towards Brendan steel and the thing that you could debate about In Weirfield is whether you want to emphasize distance or accuracy off the tee But steel thankfully has both he ranks 47th and distance the past 50 rounds according to fantasy national But he's also 43rd in fairways games So he can go along but he can also put it in the middle of fairway That's a good thing Especially when you combine it with his approach play because steel also ranks 40th an approach over that same time frame We've also seen steel has spike weeks So he can have big individual weeks for this approach plays gained at least 2.8 on approach in three of the past eight events Since january 1st He's gained at least 4.8 strokes and approached twice in that time So he can have big weeks with his second and third shot. That's a good thing if you want some upside I'd probably try to avoid steel for cash games. I honestly think for cash games There is some incentive to spend all the way down for guys like Sebastian Munoz. I don't mind Cameron Tringale I think that they are in play as super low dollar cash game plays But for tournaments, I do want that upside steel possesses that because of the spike weeks He can have with his approach play and because he can win both with accuracy and with distance off the tee So steel 8600 dollars. He's got good win odds over at vandal sports book Oh, which means the upside is there. So as long as you're not going here in a cash game roster I do think steel is someone I am I am willing to target for a tournament Certainly not a surprise that he's not a good putter and that He could have some individual success like you say finished six couple of weeks back Based on that putter fine It wasn't the week that we're used to with brendon steel because he putted so well We'll get that this weekend here We've seen him have some success if you want to pay up to this number He's worth it. You want to go down to some of the other players that jim mentioned you could do that too But I really like brendon steel. I think this is a really good price for him as well That's it a note for us here on the vandal hurry up jim. It has been fun And it's the first two weeks where we got like you said the same course to talk about But there's gonna be a couple of different players next week. I think yeah, it's gonna be different different fields They're gonna change the course a little bit and it'll be a good spot to buy low on golfers who may not do well this weekend So I think it'll be a fun week for dfs next week looking forward to it Hopefully, uh, we're not buying low on the same guys we use this weekend because I'd prefer they just have success this week instead It'll make the research easier for you my friend. Yeah, and maybe just maybe next week We might even see tiger woods make his post-covid hurry up debut. We'll see for jim's honest I'm greg sauce, but thanks so much for watching. Enjoy the tournament. Stay safe everybody


So, our next panel is on DSLs and IRs for ZK circuits. Yeah, these are all implementers and authors of some very popular ZK, DSLs and IRs. And so today we're going to get together and I've prepared a few high-level questions here. I'm going to read them out. So the first one is sort of an exercise to locate each other on the language set and see how we relate to each other. And the second afterwards is to then figure out to what extent can we share infrastructure or should we even try? Is it impossible after a certain point? And over here I want to note also a lot of prior work from the compiler and SMT verifier communities. So can we also reuse some of their work?  What's your ideal DSL? Is it very different from normal programming? Yeah, so just keep these in your head. And I think I want to save maybe 25 minutes for audience questions at the end. So I think let's start with a round of introductions. I have, like, I have pre-prepared some visuals for you in case you need them. So the first one is PIL, Jordy. So can you give us an introduction to what PIL is? Well PIL is a language mainly. PIL means polynomial identity language. And mainly what it is is when you define a circuit that's based on polynomials, for example, a plonk is an example of a way of a circuit that's based on polynomials, but you can do much more, things much more complex that are based in polynomials. So PIL allows you to just write those identities and then out of those identities just build the proof automatically the same way that you do in a normal zero-knowledge language. You can do it in a circum, you can do it in PIL. Here you need to do something else because you need to maybe write the witness somehow, but it's just a kind of abstraction where you can just focus in writing what are the identities that you want to fulfill. And yeah, this is mainly what's PIL. And Jordy also is the author of CIRCOM, which is a very, another popular library. So how does PIL relate to CIRCOM? Well, PIL is for polynomials and circuit is more for signals you are just working. We are not working with polynomials at all.  So the idea of CIRCOM is, CIRCOM is a low-level language because you can write every circuit, you can write it in CIRCOM. CIRCOM does not have any special library, you need any plug-in special. So all the CIRCOM is write it in CIRCOM, so it's on there. But at the same time, it's a high-level language because it allows you connections.  And so in this sense, you can go all the way down and all the way up on CIRCOM. That's why it's so flexible and then it connects very good with Snark.js and other proving systems. And yeah, it has been there for years, it has been already a full rewrite. We now introduce it on these new extensions of the language, mainly are anonymous templates and we also are already adapting to a plonk because CIRCOM was born in that R1CS era and nobody knows what works perfectly in plonk. So we have also custom gates and yeah, we're extending the language and it's a full community that's working on there. Thanks Jordy. So yeah, to me it's interesting this distinction between a language for polynomials versus for signals and I'm gonna skip to NOR because as I understand it, NOR can target both plonk and R1CS and air and even more back ends. So Kev, what's NOR about? Hi. Can you hear me? Yeah, so NOR is a lot more high level. It compiles down to something called a CIR. And essentially you never tell the proving system how to do something, you just tell it what you want to do. So for example, if you want to do a CIR 256, you don't tell it to use custom gates. The proving system just decides what's the best way to do it. So in this way we're sort of back end agnostic fully. So for example, you'll never see like custom gates inside of NOR or any sort of that syntax or lookup tables. You might see maps for example. So yeah. Cool. I'll just go around. I have questions. I'll just go around the intros first. So this is the picture I've found for Cairo. I really apologize. I'm sure that better pictures exist, but. Yeah, I feel like this is the best they've ever produced, 100%. So I guess Cairo deferred to some extent. I won't be able to actually go into the difference, but Cairo is just a during complete language. So you were writing Cairo the same way you were writing Solidity or in any smart contract language that you can think of. So from the perspective of Cairo, you write a program. This program is compared to a Cairo byte code, which is run into the Cairo VM and prove among all the program that are proven within the same proof. So in that sense, it's like, there is not much difference. You don't have things that you don't have lookups. You just have the program and some time for some operation, we do have this notion of built in, but built in are just something you call as part of the function. Cool. And the best for last, kimchi slash snarky JS, Brandon. Hello. Thank you. So this is snarky JS with a Y, different from snark JS. Had a few people confused this week. That's good. Yeah, you know, name, name might evolve. I don't know. So, yeah, so kimchi is our, is the proof system that snarky JS is built on top of right now. The way that it's built, we can plug into other proof systems. We just haven't yet. Kimchi is the proof system that is in Mina or, well, in, in the test net of Mina that will be hard forked pending community voting. But the idea is, I mean, kimchi is a plonk 15 type proof system. It has no trusted setup. It's universal. And we support like infinite efficient recursion, which is important for Mina. This is synced blockchain. But the cool thing is you can also use this proof system to build custom ZKPs, which are our smart contracts on Mina, and you can build circuits outside of Mina as well. So I don't know, there's not much in this picture I want to explain. I guess the one really important thing about snarky JS you can see on the top left there, the code snippet, it is type script and is extremely high level language. And there's this sort of, I guess, there's a lot of reasons why we design it the way we did. I'll just point out a couple things. One is we get all the tooling and infrastructure and ecosystem that comes with type script. So NPM is great, VS code is great, all the integrations already work and are good. And we think that when people are writing zero knowledge proofs or writing any programs, the model that people are used to thinking about computations is you have a function, it takes some input and you produce some output. So one of the things that snarky JS does is it lets you write your computations with your circuits at the same time and the output of those functions get sort of fed in as a public input automatically for you. So in the end, your code actually looks like normal code. Cool, thank you. So I'm going to start with an opinionated question, which is what do you think of intermediate representations? So Cersei is this project that's inspired very much by LLVM, everyone's turning to look at the screen. But so the idea behind that is to define a common standard IR to which many different front ends compile and from which many different back ends can compile. So how well do you think your project would fit into a model like that? Yeah, so snarky JS is like I said super high level and right now it's directly connected to kimchi but we could and probably should connect to some intermediate representation so that we can share that work of connecting to custom back ends. In the case of CIRCOM, actually it exports to two different languages, wasm and C. Internally it has an intermediate representation already, it's CIRCOM one, so exporting that to other language like Rust or like Go is in the road map and exporting to maybe some other intermediate representation if it looks like good enough, that would definitely be possible. Here I'm not sure about the specification, I have not read it yet, but for example there are things that who you parallelize, witness computation. In CIRCOM we have a way that you have different components because there are components you can say that this component can be running parallel, so the witness computation can be running parallel. This is very important especially when you are doing big circuits. So I'm not sure, maybe somebody that's experienced that would be made an answer for them, but sometimes there are details there that are not that easy. Yeah. So in the context of CIRCOM, it won't really work because CIRCOM as of now doesn't have an intermediate representation and directly generated by basically it's just a very high level, you know, like C is, you know, it doesn't have an intermediate representation, it's just like two-by-two assembly and CIRCOM itself, CIRCOM the current version at least didn't just directly generate the by-code. That said, we have CIRCOM one coming in a couple of months and CIRCOM one does have something called CIRCOM and CIRCOM is literally means safe intermediate representation and the purpose of CIRCOM is to enable the language to turn deterministic actually. So CIRCOM is not deterministic but CIRCOM will make it deterministic because when you make a language for NL1 or for NL2, for blockchain itself, you want determinism. You want determinism for a very specific reason actually, which is you want to be able to prove fair transactions. Without determinism, you're screwed for that. And so we, for now we don't have it and it is of those doctor that we control by making by right now white listing the contract but tomorrow when we're going to go for permissionlessness and then for decentralization, you can obviously do that. So we are working to have this safe intermediate representation which will be deterministic and this intermediate step will be able to actually compare to multiple backends. So either Cairo or like, you know, optimized for XZ6 for execution layer and potentially something like this. In that case, we'll probably lose much of what you were gaining and what you wanted. So I don't see, I don't know if it's practical to compile for, I don't know about Cersei but I would be, it's a great name for Stark by the way. But yeah, I don't know, I don't know the specs, I don't know if you could do that. Yeah. So we did once have an effort to integrate a CIR with Cersei. We dropped it just due to priorities. And what I remember, it was fairly easy if we extend Cersei to have these black box functions just because the Cersei IR just can't optimize for these black box functions. So yeah, it's possible. We just haven't picked back up on it. Yeah. I think NOR is probably the newest, shiniest language like it just dropped. And I have lots of questions about ACIR, ACIR is NOR's intermediate representation. So it can compile both to R1CS and Planck. So how does this IR capture both of these very different arithmetizations? Essentially, you have these arithmetic gates which are just linear expressions which aren't bounded. So for R1CS, that's quite simple to compile down to for Planck because you usually have like WIT 4 or some fixed WIT. We have something in ACIR which basically chops the gates into the perfect WIT for Planck. For the black box functions, it's really just the proving system just takes in the witness indices and just fills in the constraints for them. So it's quite simple what it's doing. It's not doing anything complicated. Yeah, that makes sense. Brandon, did you have thoughts on the IR thing? Yeah. Well, I think I spoke in the beginning a bit. I mean, yeah, I guess, yeah, I don't have anything else to add. Cool. So what I'm hearing is like basically compiling to an IR, you could stand to lose some some very specific performance optimizations unless the IR allows you to black box things easily. Cool. I did have a question for Louie as well. What do you mean when you say CHIRO is not deterministic and that your IR is deterministic? So CHIRO today, so proof and DKPs or language engineering of gender deterministic can create hints and that break determinism. But CHIRO today is deterministic. So meant to be more specific, we actually have two flavors of CHIRO, what I like to call pure CHIRO, which is the one you would just directly prove a program within SHARP or SHARP being the SHARP Prover infrastructure that we provide, or that's pure CHIRO and what STARKX is built on and even STARKNET itself is built with, and you have what to be called STARKNET CHIRO and STARKNET CHIRO does have a notion of state, does have a notion of like a syscall and plenty of things that you get from the OS itself. So you have like CHIRO for a STARKNET, you have CHIRO for a pure CHIRO. So the thing is that the CHIRO for STARKNET cannot be non-deterministic and that is for a very pure incentive reason because if you don't have determinism that you can make transactions that are not provable, meaning I'm the only one we know that this transaction is valid and I'm the only one we know the hints and therefore the rest of the word cannot prove it. And so for instance, let's give an example that people like to use, you know, I want to do a forced transaction from L1, you know, being that optimistic roll up push, I mean talks a lot about. Then in this context with determinism, I can't, this is a dose factor because I don't know if the transaction that's getting pushed to me is provable by me. I don't know that. And so another thing that is important is that fair transaction. So fair transaction can be valid, you know, the price of this pull on me swap move and now for my transaction failed and otherwise it can be malicious. So I'm spamming the network with transaction hoping to get what I want, but if I don't, I don't think I don't pay anything. And so I can spam the network, run everything and I need to run it. And so creating dose factor. So for STARKNET, we have to make CHIRO deterministic or I mean the version of CHIRO for STARKNET will be deterministic for that purpose. And to make it deterministic, we need to prove that the program was compiled into a deterministic version of CHIRO, which is a safe intermediary representation called CIRA. And the CIRA will compile to CHIRO itself. And so CIRA itself will be proven within STARKNET. When I'm deploying a contract, I will be proving to the STARKNET does this contract was compiled with using CIRA. So this is what I mean by CHIRO becoming deterministic in this context. I see. Thank you. Cool. So I guess my next question, I guess my next question is number three, which is, yeah, when you were writing your languages, what features did you prioritize? So for example, NOR is very Rust-like. They even have a version of cargo called NORGO. And then Snarky.js is like TypeScript. CHIRO is also a pretty high level. Yeah. It's mixed right now. It's a mix of C and Python to some extent, but right in the new version will be very Rust-like, which is coming in three months, two months. And for example, Gnark was just written directly in Go. Halo 2 is written directly in Rust, but the pill and circum are kind of closer to the metal. I think so is Halo 2, the metal, the circuit, I mean. And so is Halo 2. So, yeah, what are your thoughts on the trade-offs between higher-level representations and lower-level representations, and how did you decide on the designs that you did? That can maybe start. So the first, that's actually an interesting story from Starquake's experience. So the first version of Starquake. So Starquake's was and is the first product in Starquake then, which is basically a centralized but non-custodial back-end for DABs who need scalability. So you know, customers are DYDX, diversify, immutable, and so on. And so the first version was written, you know, very low-level, literally in polynomials. And this thing does transfer and swaps. And so we started to work in Cairo, it was 2019, and it became production-ready in May 2020. The first case of actually where we used it for was for the Reddit backup in June 2020. And so the funny story is that the performance of the system massively improved when we started using Cairo because it was much higher-level and had a lot more flexibility in the way we could reason about the system and the way we could write about the system. Not only was it gain in velocity, but it also gained in actual pure performance. And so there is, you know, in some, I mean, when you need that performance improvement, we have these things that are built in the same, built in as equivalent to Cairo to those specific chip on your CPU, like the one that does 64-bit modular multiplication. And so if you really need, like, optimization at the very low level for a specific operation, like say, proving, right now we did it for the K-Chack, we did it for ACDSC signatures, range-proofing of other things, that we write them in those, and for the rest, we just write in Cairo. And so there was not really any trade-off in any way except that much simpler and nicer to write. Now we're two. Yeah, that's interesting that, like, a higher-level language actually improved your performance. But yeah, I guess so you're pushing a lot of the manual optimization to the compilers and like stuff that computers are better at. And then the commonly used so-called pre-compiles, you do hand-write that, right? Let's see. When we started, when I started to write CIRCOM, the main purpose is, as I said before, CIRCOM is, at the end, it's a low-level language. So the idea is that, if you're writing CIRCOM, you should understand what you are doing. You should understand what's behind the circuit. At the upper level, of course, you can do things in the high-level because you can connect things. But the idea is that you have precise, and this is something that's very specific to CIRCOM, is it should not be any hidden constraint anywhere. So all the constraints are there. You can check the code. Maybe you need to go inside the CIRCOM leap or someplace in the library. But you will find all the constraints there, and you can track them, and you can see them. So you can have full control of what you are doing. This, of course, is dangerous. I'm not saying that. That's why, because you know, you need to understand, if you are, I see people that writing CIRCOM language, that they don't know what they are writing. So it's not going to work, okay? And this is, we understand this is a thing, but this is what CIRCOM is for. CIRCOM is for writing, I would say. CIRCOM is for people that understand what's happening underneath. That's the thing, okay? Said that, and this is a little bit linking with what he said is, I think that in the future, nobody will have to write circuits. And because circuits are a very specific thing for things, and then you can write, you will be able to write things in Cairo, for example, or things in maybe some high level or even in Solidity. The CKVM, at the end, is a language that you're writing a language, and you're building a zero knowledge, you're building a zero knowledge there. So you can, there is other projects like RISC-5 that are also building on top of that. So it's the CKVM, what brings behind to the world is that you can have any processor, any base, RISC-5, an EVM, or Cairo-like, or some specific virtual machine, so some processor, and then you build on top of that processor. But the circuit is the processor, the circuit is like the hardware, okay? So it's like, maybe we can talk about hardware language and software language. Circom is a hardware language, okay? And software language should be normal software language. C, Solidity, Python, or any other language that builds on top of that. I don't see a space for, I don't see, but this is opinionated on me, but I don't see a space for specific language, specific high level language. Because I think that a really high level language should be enough to run on top of that. Can I just add one thing about RISC-5? What you said, I tend to agree with the entire statement about the high level language. There is one thing though, I'm not sure, and I don't think necessarily that, you know, things like Python or Rust will enable you to write VKPs tomorrow. Because there is still a very strong, competing paradigm beyond it, but there is between differences, which may require you still to have a different, accepting that you're working on something different. Yeah, probably, but this is, at this point we are running fast there. So I think it's just a matter of times and how difficult it is. You know, right now, depending if you want to run a very, very complex language, a very complex thing, it's one thing. But if it's complex, it's going to be also difficult to write a complex language. So I think the way to go is high level language. I agree with you. I'm going to go with the top of your work. Yeah. Cool. Yeah, so I and my team have a very, very strong opinion about this. So I guess for background, so MENA protocol, we started building it in 2017. And for those that don't know, MENA basically is just like an enormous, like ZKP circuit that powers everything. So there's a recursive, like linearly recursive proof for compressing the blockchain that follows, you know, the rules of blockchains. There's like consensus logic. There's verifiable random functions where like fractional numbers are approximated using like crazy calculus things, basically enormous, enormous programs. And enormous circuits. And we realized very early on in 2017 that like we could not write the circuits manually. And I agree it's, I would sort of, I mean, in some ways it's like programming directly with hardware. But I think you can also kind of think of it metaphorically, like writing assembly language. And you know, you can't, like these days when you're trying to write a really complex program, you don't use assembly language. You use a higher level language. So we built the first version of Snarky, which is an embedded OCaml DSL in 2017. And we used it for, and we still use it, you know, whatever, five years, six years later. And it's great. And we've learned a lot. And the specific, you know, we've taken those ideas and brought them to Snarky.js, which is just sort of like bringing that into TypeScript instead of OCaml. The, you know, we thought about like, okay, if we could build a high level language that compiles into something and then like implement a bunch of optimizations. But the landscape of proof systems is, we thought would evolve quickly. It has evolved quickly. It continues to evolve quickly. And so it makes sense right now.  But you can build like a little library or framework in a language that already exists embedded in it. So that's what we did with OCaml. That's what we did with TypeScript. And you can build, you can expose the lowest level. So like there are people who are like experts at optimizing constraints for the proof system. And then you can build abstractions over that. And with types, build, you know, type structures, build computations. And this has worked for building this enormous system that we have in MENA. And we see it starting to work as well for building really complicated applications with crazy recursion and all this stuff in Snarky.js. Yeah. I think I disagree with everybody. That's okay. That's why you're here. So from like, I think that using Rust, at least for our use case, it would be a bit clunky to encode like semantics for like privacy, like private state and public state. So I mean, it's possible, but I think for the user, just be a bit clunkier, which is why I think maybe if you're not using it for the privacy use case, then high level languages like Rust and Go might work. For using TypeScript and languages like that right now, when we were designing Noir, it just seemed like we needed to restrict the user from doing very specific things that it seemed like in TypeScript, they could just counteract it. And I guess one example that I always bring up is the if statements. Like if you're using like a high level language, you sort of can't just do if something, like else something, because in TypeScript or high level languages that works different from like a circuit based if. So in Cairo, we actually do at the runtime, so we don't evaluate if statements. We only evaluate the path we take. Of course I have a counter-opinion to that. Yeah, I think the costs of using a custom language, in my opinion, in my team's opinion, severely outweigh the benefits. So I guess just to talk about the if example, yes, you can't use the built-in TypeScript if in the context of like within a circuit. But if you are computing a value that you're then using in a circuit, you can use if statements. And if you're actually in the circuit, there are tools in the TypeScript ecosystem that can help us actually warn or error to the user. Like we can use ESLint to provide an error if you're using an if statement in a place that you shouldn't be. And of course that won't be perfect, but we've found that that actually is working really well. So actually I'm agreeing with both of you. So I'm going to explain what I mean by that. I agree that you should have basically a specific language at the same time that tends to help you think about the computing model you are in. And at the same time, you also want languages that are familiar to the public or the people that we're using. And so one solution that we find, first of all, and I'm saying I didn't say that Carol. So Carol actually means CPU error. So roughly Carol can evaluate any program. I don't know if it was clear to everyone here, but it's, and notably what it means that there is two things that you get that you don't get in circuit usually, which is you only get recursion, very easy recursion. You don't have to evaluate the whole circuit. And second thing that you get for free is you only evaluate the if statement, the path you're taking. So when you have many, many ifs, then you actually only, you don't pay for all the branches. You only pay for the one you're using. And so one consequence of this, one thing that we were able to do or having all the team built is they started to see compiler from one, for instance, high level, other language to carry itself. So we have one right now, a language, a compiler called Skyro, made by a team out of Switzerland, which is combining Idris, which is being a functional language to Carol. For the story, if you are, if you want to use it, you'll be the first one to ever use it. So have fun. I actually never find anyone who wants to use a functional language. So maybe there is one in this room. But just make it functional languages. So go for it. Idris. I love Idris. So seriously, if you want to do have fun, go for it. It's crazy. But so I'm trying to say that I don't know if it's the ultimate path, but there is a middle ground. Can I? Please go. Yeah. So, yeah. So just for in Snarka.js today, connected to kimchi, I mean, this is powered by kimchi, of course, but we also can handle recursion, infinite recursion. And in Snarka.js, we've built an interface that's just, it's like essentially the same as writing a recursive function. So you just, you know, you put your function in a JavaScript object. That's the only difference.   And then the other bit about the if statement branching thing, like today in, I think, any proof system that I'm aware of, including kimchi, including the current version of kimchi, yeah, you have to pay for both branches, and you can kind of approximate branching by like multiplying by zero or one. We are actually working on an extension to the proof system that will allow you to do these kind of like arbitrary jumps in an efficient way. And that, though, is, you know, I'm not working on that. How is it not the CPU? Like, you know, like basically running in the arbitrary program, then? Yeah. How is it not in VM, basically, that's what my question is. At that point, you get essentially the power of VM with the performance of direct circuit. Yeah, so it's kind of the holy grail.  And then you can kind of do another fancy thing to get arbitrary jumps efficiently. And the details of this, I'd have to connect you with a cryptographer on my team. But I am told that this is the path that we're going towards. I've seen that. I've seen that in your repo. It's the dynamic lookup table. Right. Yeah. Jordy has been silent for a while. No, no, at the end of this, this is, what are you writing? Hardware or software? If you're writing hardware, you need the hardware language. If you're writing software, my opinion is just use a standard software language. And why? Because the hardware, and the problem is that you need the piece of hardware. You need the process of the hardware that can compile to this software. But this is there. So this is the way to go. Cool. I want to save some time for the audience to ask questions. We have about 15 minutes. So any questions from the audience? So we actually touched on hardware a lot during this conversation. It'd be interesting to hear from the different panelists, like what you actually see the kind of future of ZK hardware to be and what direction it's going. Not that kind of hardware we're talking about. I think we're talking about that. But yeah, we can talk about that, too. We should. We can talk about real physical hardware as well. Yeah, we're talking about the polynomial hardware. It's an arithmetic hardware. I recognize that. We're making a joke, but that's on the hardware acceleration. So I'm going to take a hot stake here. Starkware, at this stage, do not believe that we need them, as simple as that. The reason is because the software itself is being improving so fast. And the architecture of how you do things has been improving so fast that at this stage, we don't know what the future will look like. And so what it means by this is hardware development is roughly a year and a half before getting to production. And a year and a half from a year and a half ago, hardware barely working. Starkware was in premises. Recursion wasn't working. And so, for instance, the thing that we are working on right now, so we already do recursive proof on production today of our proof ourselves. But like, for instance, one architecture we're not doing at the moment is basically three of proofs. Like, basically, right now, the only thing we do is we have what you call jobs. And jobs are like those Starknet, Starkware infrastructure, all of that use Sharp. And so all the customers and use Starknet included of their infrastructure are sharing the same proof. So every one of that is basically everyone is paying a marginal cost of the proof cost on that. And so, for instance, diversify or immutable, like right now is having like 70 PS in their environment, and they're using a significant amount of step within this proof. So they do one job. And we have other proof, and also another type of the job is approved. So we didn't really went all the way yet into that tree architecture. And so for hardware, there is already a significant, like the things change so fast that we can't really say, this is the way to go. That said, I have a friend of mine, I guess, Omer Shtomovich from the company Coldway. Inguniama, which is a very good friend of mine, is also already working on this, making groundbreaking improvement on hardware and module explanation, or even MSM, which I have no idea what it means. But I would let him to you, he's not here today, but yeah, I would let him to answer that on another day. I, yeah, so different, I guess, slightly different opinion. So when you use SnarkyJS for writing applications on MENA, or just in general, we're encouraging the proof computation to happen actually like on the user's machine. In this way, you get privacy. And, you know, there are ways that you can sort of do part of the computation on the machine to get the privacy and do the rest on a server, all these things. But when you have a proof system that has a lot of cool features in it, like kimchi, it's slower than a proof system that has a lot less features in it. And hardware acceleration would then kind of make it faster. I think it would be cool. I guess we're encouraging people with SnarkyJS to write circuits with recursion, with linear recursion or tree recursion that's been working in MENA's mainnet for a year and a half sort of internally. And now on our decentralized test net, we have you can do it with custom circuits and settle on chain and all that stuff, and it works. And yeah, and it's a little bit slow right now. We're working on optimizing it. But I am imagining a world, like I think a cool world would be one in which the ledger that we all have, or something like that, that has a wallet on it, also would have a Snark Accelerator companionship or something. I don't think that's coming anytime soon, but something like that could be cool. And even, obviously in the shorter term, taking advantage of GPUs, FPGAs, and silicon at any level I think would be helpful. Because it makes these proof systems that I think have a lot more features faster, so you can do different kinds of applications than you could if they were slower. I would distinguish. This is actually a very different. So when we talk about zero-knowledge proof, we can distinguish between small proofs and big proofs. Because big proof are for CKVNs and for roll-ups and for when you want to do aggregation and this high-computation stuff.  I think in the client has a lot of sense, because it's where the hardware you are building. You do a big investment, but then you can spread to many mobile phones or to many places. So this makes a lot of sense. And for things like these privacy things, for things like gaming, for things like identity, just proving things about your data. I know all these that. So I think this makes a lot of sense in that direction. For the hardware, for the big things, and I'm talking more specific to maybe a specific project, which is the CKVN, but as a representative, it is that. For us, I tell you why we are interested in hardware. Maybe here you will see why. The idea is that if you want to have a competition, the idea is that you want to have a competition that approving competition, there is a market for generating proofs, those who speak proofs. Here you can have a problem is that you have a centralized, maybe you have some provider that has a lot of power, and this monopolizes the system. In the case of a CKVN, this is not a big problem, because you can only build a proof that's already deterministic, so you cannot do crazy things, but you can't degrade the network. So the problem is that somebody that has a huge power is able to generate a lot of proofs, maybe just stops doing that, and then the network just degrades. So for us, the way for us to avoid that is to have the best prover available, even in hardware. When I'm saying hardware, at least in FPGAs or whatever, even ASICs if it's required. So the idea is to have the best prover, a valuable open source, and a valuable for everybody so that there is no monopolistic prover that can take that. That's why for us it's so important that the prover is open source, that the prover is valuable for everybody, and not only that, that the technology to build the prover is valuable for the community. Because this is the warranty that we have that the network would not be degraded. Well, even on top of this, in the context of StarkNet, the way we're going to look at this proving market is by actually having a kind of POS, a kind of mechanism where we have a leader, who would be the proving one, and we have in Cascade another one, and the second one would come afterwards if there is degradation. And so the other thing is that, I just want to say, I don't want to say, unless I have to talk about that, but people have been very focusing a lot on acceleration because Stark are very slow, and they're slow because of the operation, and they're very sensitive to the magnetic curve and so on. And some things, I mean, at least Jordy and I, working more on Starks, which are much faster and much easier to work on regular servers. So I think that may be a difference on our take related to that machine. I mean, so I'm going to answer the question. I wanted to hear instead of the one you actually asked because I didn't really know much about hardware acceleration. In terms of programming for hardware versus programming for software, I think proving systems are changing too much for at least us to focus on being so close to the metal just because the metal might change next year or the year after. I will say that for privacy, it's a different space. If you have privacy, you need to think about how to accelerate the prover because we usually use wasm, whereas if you don't have privacy, it's really FPGAs and GPUs. How do you accelerate this massive beefy machine? I guess just to, there was this discussion about markets for decentralized provers. And this is just my, I just have to say this because too many people are surprised by this at this conference. Sorry if it's a little bit off topic, but MENA has decentralized sequencers, decentralized provers, a marketplace for producing proofs that are sort of needed by the system and this has been in production for a while. And we encourage more people to look at it when they're thinking about their marketplaces and everything. Cool. Great answers. Thanks, guys. I have questions that may be continuing on the hardware thing, but most of the, I mean, a lot of people kind of compiling target now is actually solidity. So actually a lot of people are moving on Ethereum. And kind of this is DEF CON. So like the most artificial kind of constraints that I'm seeing is probably the fact that we have one pre-compile curve to work with, but we can only work with being 128. So I'm wondering what your intuition, why don't we have more curves to work with in your opinion? I don't know. It seems like it will kind of release a lot of bottleneck. So OK, I can make two comments. The first one is on the pure application level and why people should care about what you're describing. So I think that one of the biggest original sin that Ethereum made when they were built in orderly, in retrospect, right, we couldn't know, is to have had EOAs. Having EOAs was a mistake. But you're right, having new curve, like being able to use the P256 when it's on your phone or even being able to erase say verification, just to throw random ideas, right, would be unlocking a lot of use cases. I mean, just to give you an example, starting right after the company on gaming that is using that kind of abstraction to verify P256, using your secure enclave of your phone to sign signatures for gaming. That's awesome. This is awesome. That's actually not for me the biggest lock of verifying the EVM. The main difference, the main problem is that the computing paradigm of the EVM is very different from when you have an EVK. I mean, Bit's Boolean logic is expensive, and the EVK is cheap on the EVM, right? So this is kind of the starting point. And while a lot of the team are looking into, I mean, diving, and Jordan would talk more about that than me, about, you know, proving the EVM, we didn't make the choice because we were, in our opinion, we were optimizing performance of the proving system. And then now that we have that, can we make it backward compatible? And so we have, in our case, Warp, which is like a tooling that enable you to transpire from Solidity to Cairo. The practicality of it, I can't really judge, no one really used it in production, but they managed to recently announce, they managed to compile the new V3, which is a significant bit. And there are an existing effort right now to rewrite the EVM in Cairo. So I don't know, once again, if it's a POC, if it's for fun, I don't know. Maybe, maybe it would be practical. To prove it, I don't see the numbers, I won't believe it. Going to your question, why not others? I think maybe you should ask to the EF people, maybe better, but what's clear is that, at least the BLS381, this is a must, and this will be introduced sooner or later in Ethereum. Among other things, because signatures, so because all the staking stuff, it's done with this BLS stuff. And also, at the beginning was that was not safe, because there was something discovered, but then it's much more safe that we thought that was safe. So it's there, there are some doubts of the BNCorp, so I think that sooner or later, Ethereum will have. There has been some efforts. I know that there has been some stops at some point on this, adding this, and here is, for example, we are implementing the fully BN right now. We don't have to compile anything, like we just get the code and put it there. Doing that has been an effort, but what are the difficult things? What are the pieces that's really difficult to add? So we were able to build the EBM, but there is one piece that's complex. We'll do it, but it's really difficult to do, is this pre-compiled contract of the BN1. So complicating the layer one's BMs is not a good thing. And there are some, of course, there are some mistakes that the EBM was created, one was created. Wasm was not even an option at that point, just for you two, just people to realize on that, of ZK, nobody knew, so they didn't exist. But so here, and what I've been hearing at what I see is that the EBM should tend to simplify, not to get more complex. And I think this is a feeling that in Ethereum, the people that's working in Ethereum, we have, EBM is probably too complex and we need to tend to simplify, the gas models, the sum of codes. And if you see the proposals that are coming are more in the, not in extending the EBM, but in simplifying the EBM. And said that, I think that the BLS is the most. Yeah, so I guess similar to Starkware, we started not with EBM compatibility in mind for MENA and SnarkyJS and our proof system, but differently from Starkware, we didn't start with performance in mind because we're not trying to build like a ZK rollup scalability solution. We were like, okay, there's all these cool things you can do with ZK with privacy and recursion. And we wanna build a proof system that enables people to take advantage of all those cool things. And so in the same vein as what you're talking about, like there's all these cool things now that you can do in our proof system and on MENA. And we're working on an Ethereum bridge so that the MENA state can just be fully verified from within Ethereum. And the idea here is like, we wanna bring all these great features to Ethereum developers, but I guess TypeScript is, people are writing frontends into TypeScript anyway, so hopefully it's not too bad. But yeah, rather than kind of trying to put all these things inside EBM, it's like, okay, let's use efficient elliptic curves and all these things to do these interesting privacy and recursion and all this stuff and then wrap it up in a nice present that can be verified quickly on EBM. I can say my question is because, standard are evolving sometimes and this is like the hardest the metal will be in terms of zero knowledge standards. So some of the time the constraints on the standards come from things that are not necessarily very efficient and eventually downstream, you don't understand how you got to something that is using a certain aspect. So a lot of the downstream decisions are being taken because of that, right? You have baby job job because it fits the prime field. And I mean, it could be more efficient or my skin like kind of from the philosophical kind of aspect. At some point you need to leave it with there. That's the point. And you can, I mean, you know, you can wish us, we could wish and we did many times, we should most of you can, but the reality that you won't get we may be all convinced here that the future but maybe all the people outside are not. And so it's a consensus. We're only willing to agree on what's good. So I tend to agree with Jordy. We need actually a much more in favor of simplifying the network than doing it than trying to bring more things to make our life simpler right now. And just to give you an, yeah, that's basically it. Yeah, I don't know. For this is, look, in the CKBM circuit, we are using a different prime field. We are using the Goldilocks prime field. We are building a stark. We are building a recursion of a stark. We are doing a lot of crazy cryptography in there are just in the last moment. We just built a glow 16 or a plonk. But this is the last piece. So it's like the adapter if you want to the network. If so, maybe the net, so maybe the ABM you just need one thing. It's a hash functions, hash functions. How many hash functions needs requires the ABM? Well, we have Ketchak. We have a Chateau 56, recently a teriumated Blake. Is it necessary? Maybe with Chateau 56 would be more than enough from the beginning. You couldn't argue that the pre-compile could have been like, we could have made things cheaper or in first place. Or maybe you know, main thing that are, why is it so much more efficient to have this pre-compile? You know, there's many things you could discuss in the back. But this is, why this is possible right now? And maybe, and this is changed from three, four years ago. It's because we have this validity proof. We can compute things of chain and validate them on chain. So we just need to care how we validate these things on chain. And BN128 or if you want to BLS is more than enough. So probably if the terium had to be done now, it would be less cryptographic primitives and more basic thing. Because we can accelerate that off chain and validate that with a validity proof on chain. And just to conclude on this, if you want to have much more impact and make one change, changing, I mean, it's going to be very ballsy, changing K-check, but Poseidon might be more helpful. No, because you changed, Poseidon in which prank field? Yeah, yeah, but that's the thing, you know. And I've been thinking, you know, all of us have been thinking on that, is why Poseidon is not in the, or why don't we have Mimsi at some point is not in the ABM and this is the thing. But as we evolve, as we evolve, we see that this is less important because we have, because this computational proof are getting much faster and much better. So we require less this. So we can sacrifice a little bit of optimization. Right now we can look in the ABM circuit, we can validate 500 K-checks in the proof. We can validate, I don't know, like something like 100 or 200 ECDSAs with ECDSA, Ethereum corpse in there. We can do paintings inside there. We can do everything in there. It's not optimal, but it's doable and it's getting every time more efficient. So at the point that we have this, we require less help from the L1. We require less help from that. So that's why I think that this tendency to simplify is a trend. I also feel like proto-dunk sharding is moving in that direction. Like they introduced that pre-compile for point evaluation for KZG and then you can understand KZG proofs. But beyond that, it's all blobs. It's all delegated to the roll-ups. Well, we are over time. So there's one last question. Okay, ask it, ask it. Yeah, I just wanted to know that I see a lot of sense in breaking this EVM ice and creating DSL, not only for opening new area of innovation and your question to basically Mina. I mean, does it make sense for you also? For example, to collaborate with Cairo and maybe since it's a better model for the ZK than imperative languages. And yeah, basically work on better tooling for operational verification. I think we already are, right? I mean, we have someone at O1 Labs, which is like the team that incubated Mina, is looking into getting Cairo to work with Kim Chi. Yeah, and there is even one in the room where she took her work and made it into work with Winterfell. So you can look at the guy in a very nice blue shirt over there, Max, shoot out. So yeah, Max has a practical Cairo, a verifier and a prover in Winterfell today. I mean, to be honest, it's actually go back to the question of simplifying stuff. Why, we have now L2s, we have L2 that can do stuff. Let's use their advantage to bridge where we could do it before. And so, like, you know, an example, there is a team actually, maybe in the room over there. SnapshotX is working right now to do N1 voting using L2 to make them cheap. And that's something you couldn't do before. So that's this kind of thing that we can do with L2s now that we couldn't do in N1, and we don't have to change N1 for that. So simplify, please. Cool, thank you, all panelists.