No-log 정책의 Vpn의 사용을 권하는 것은 긍정적이긴 한데 이왕 쓰는거 우라나라와 정보 공조하지 않는 국가로 접속하세요.

No-log 라도 서버가 위치한 국가가 한국과 협조국이거나 해당 ip를 이용해 평소 인터넷 사용 정황과 패턴(Fingerprinting)으로 얼마든지 선별하여 특정이 가능하다고 합니다.

이런거 분석 및 지원하는 기업이 과거 IBM 산하의 i2(국내수사기관에서 사용), 팔란티어 등등이죠

그리고 또한 에그, 라우터 키고 이곳저곳 이동하면서 동선 노출시키거나 심지어 본폰(?)이랑 함께 다니면 말짱 꽝이고, 나랏님들이 정말 작정하고 찾으면 시간 문제일뿐 결국은 전부 다 특정된다고 봅니다.

뭐 사실 범죄자들이 이런 기술적인 사항들을 아무리 철저하게 지켜도 결국 대부분 사회공학적 해킹(?)이나 주변인의 밀고로 잡혀가죠.

@notele7

괴델의 불완전성 정리에 대하여.

며칠간 잠을 뒤죽박죽 잤더니 수면 패턴도 망가지고 시간이나 때울겸 오늘은 괴델의 불완전성 정리에 대해서 알아보겠습니다.

괴델의 불완전정 정리는 현대 철학과 컴퓨터과학에 큰 족적을 남긴 정리인데요.

불완전성 정리를 튜링머신을 이용해 증명한 방법이 현재 우리가 사용하고 있는 컴퓨터 작동방식의 기반이죠.

또한 현대철학의 거장 비트겐슈타인의 '논리철학논고' 도 이에 영향을 받아서 그의 철학도 비슷한 궤를 지니고 있습니다.

불완전성 정리는 어떤 완벽한 공리(axiom)체계라도 그 안에는 반드시 증명 불가능한 어떤 명제가 있으며, 그 공리의 무모순성을 증명하기 위해서는 해당 공리로는 증명이 불가능하다는 것을 밝혀낸 정리인데요.

공리(Axiom)란 어떠한 증명 없이 원래 그런거다 정해놓고 아무도 태클걸지 않는것입니다.

예) 1=1 이고 1+1=2는 무조건 옳다.

아무튼 이 불완전성 정리라는 것은 메타수학 명제를 괴델수라는 값으로 바꿔서 그 증명값을 내놓는데요.

여기서 메타수학과 수학의 차이점은 이렇습니다.

“2+2=4” -> 수학 명제

“2+2=4는 수학적 명제이다” -> 메타수학 명제

이 메타수학 명제를 다시 괴델수로 변환하는 방법은 각 메타수학 명제에 나오는 기호나 문장 혹은 단어에 특정 소수를 부여하고 그 소수들을 곱하는 방식입니다.

예를 들어

'Notele7은 히로뽕을 좋아한다' 라는 문장에서

Notele7은 → 소수 2

히로뽕을 → 소수 3

좋아한다 → 소수 5

라고 부여하면

괴델수는 2 × 3 × 5 이므로 30 이고

이 괴델수 30을 소인수분해하면 다시 소수 2, 3, 5가 나오고 우리가 이 숫자에 부여했던 의미대로 해석하면 Notele7은, 히로뽕을, 좋아한다. 라는 원래 문장으로 복원됩니다.

이게 바로 괴델수(Gödel Number)의 핵심 아이디어입니다.

문장을 수로 바꾸고 수를 다시 문장으로 되돌리는, 수학 시스템 안에 언어 자체를 인코딩해버린 거죠.

자 이제 본론입니다.

괴델의 불완전성 정리에서 핵심적으로 쓰이는 개념 두 가지가 있는데 Dem과 Sub입니다.

Dem은 demonstration의 줄임말이고 Dem(명제) 형태로 쓰이며 이 명제가 증명 가능한 명제인지를 표현하는 기호입니다.

예: Dem('2+2=4') → "2+2=4는 증명 가능하다."

Sub는 Sub(문장, 변수 → 값) 형태로 문장에서 변수를 특정 값으로 치환하는 기호입니다.

예: Sub(X, 7) → 어떤 문장의 X를 7로 바꿔라.

이 두 가지는 괴델이 만든 궁극의 셀프 참조 명제, 즉 "이 문장은 증명할 수 없다" 라는 논리 폭탄을 수학 시스템에 집어넣기 위해 사용하는 도구입니다.

Dem과 Sub이 구체적으로 어떻게 작동하는지 서술하려면 너무 길고 복잡해져서 자세히 알고 싶은 분들은 이 영상의 15분 30초를 참조하세요.

이제 괴델이 만든 진짜 빌런급 명제로 갑니다.

"이 문장은 증명할 수 없다."

이걸 그냥 언어로 들으면 별 감흥이 없지만 수학적으로 괴델수로 표현하고 Dem과 Sub을 이용해 정확하게 체계 안에 삽입하면 시스템 자체가 대혼란에 빠집니다.

왜냐고요?

케이스 1

'이 문장은 증명할 수 없다.'

이 문장이 참이면 → 이 문장은 실제로 증명할 수 없음 → 참인데 증명 불가 = 불완전성 입증

케이스 2

'이 문장은 증명할 수 없다.'

이 문장이 거짓이면 → 이 문장은 증명 가능함 → 증명 불가인데 증명함 = 모순 발생

둘 중 어느 쪽도 피할 수 없고, 이 명제 하나로 체계가 완전하지도 무모순하지도 않다는게 드러난 거죠.

즉 괴델이 말한 건 이겁니다.

너희가 아무리 완벽한 수학 시스템을 만들고 공리를 짜도 그 안에서는 "증명은 안 되지만 참인 명제"가 반드시 존재한다.

그리고 그 시스템의 무모순성은 그 시스템 밖에서 밖에 입증할 수 없다.

이게 괴델의 제1불완전성 정리입니다.

제2불완전성 정리는 이걸 한 술 더 떠서 어떤 체계는 자기 자신이 무모순이라는 걸 자기 안에서 증명할 수 없다.

"나는 거짓말쟁이다" 같은 자기언급 문장이 논리 체계를 터뜨리는 것처럼 수학도 결국 자기 자신을 온전히 설명하지 못한다는 것.

이 정리는 인간의 지성, 언어, 시스템 전반에 대해 근본적 한계를 선언한 겁니다.

철학, 컴퓨터과학, 인공지능, 영성까지도 충격을 받았죠.

이후 엘런 튜링은 튜링머신을 통해 "알고리즘으로는 처리할 수 없는 문제가 있다"는 것을 불완전성 정리를 바탕으로 증명하였고 비트겐슈타인은 "말할 수 없는 것에 대해 침묵해야 한다"며 언어의 경계를 선언했습니다.

그리고 유튜브 어딘가에선 괴델이 이미 모든 해탈의 가능성을 차단했다는 의견도 돌아다니는데요. 저는 그 의견에 대해서 동의하지 않는 입장입니다.

요약
인간이 만든 어떤 체계도 자기 자신을 완전히 설명할 수는 없다. 어쩌면 '나 자신' 조차도.

마무리

"폐쇄병동에 갇혀있으니 답답해서 정신병에 걸릴 것 같다. 왜 갇혀있냐면 정신병에 걸려있기 때문이다."

자, 이제 이 글도 증명이 가능한가 아닌가 생각하시다가 자기 의식 속 괴델 루프에 무한히 빠지시면 좋겠습니다.

감사합니다.

@notele7

P2E로 267억 사기친 일당들

한때 코인으로 인생 역전한다며 개미들이 몰려들던 시절이 있었습니다. 하지만 세월은 흘러 그 코인을 팔던 놈들은 전부 징역가버리고, 삿던 놈들은 빚만 남긴 시대.

이번엔 P2E(Play to Earn)라는 신박한 사기 포장지를 들고 온 사기단이 있는데요. 이 일당은 '게임 하면서 돈 벌어요'를 외치며 은퇴한 50-60대의 지갑을 정조준했습니다.

사건 요약

1. 게임 플랫폼이라며 사업 설명회를 열고

2. "캐릭터를 사면 광고 수익을 돌려드립니다~"라며 약을 팔았으며

3. "이 캐릭터는 언제든 환불 가능!"이라며 원금보장 카드까지 꺼냈고

4. 사실상 다단계 폰지사기 돌려막기 구조로 운영하면서

5. 결국 피해자 수는 수천 명, 피해금액은 약 267억 원

사기쳐서 번 돈으로 이희진이 타던 부가티 업어오기, 구닥다리 람보르기니 업어오기, 파텍필립 금통 몇개, 불법도박, 유흥비로 탕진.

투자자들한테 트론으로 돈 받아 자금세탁하고 어디서 본 듯한 방식(?)으로 돈 세탁해서 결국 자기들만 배채움.

피해자들은 대부분은 50~60대 나이의 은퇴자들이라고 하던데 "게임을 하면서 돈을 번다"는 말에 혹해 소식젓에 리니지같은걸 좀 해본 경험 때문인지 사기꾼 일당의 겜 현질 투자 설명회에 현혹되서 철썩같이 믿고 투자한듯 싶네요.

결론

이 사건은 단순한 코인사기가 아닌 수익형 게임과 디지털 가상 자산이라는 최신 패키지에 전통 다단계 폰지사기의 구조를 갈아 넣은 하이브리드 범죄입니다.

검찰은 현재 범죄수익 환수 중이며 10여명의 조직원들중 총책과 자금관리 총괄만 구속기소 되고 나머지는 전부 불구속됐습니다.

결국 돈 잃은 사람들의 허탈한 마음까지는 보상해주지 못할듯하네요.

그리고 돈 267억을 땡겼으면 병x신같이 부가티를 살게 아니라 코스닥 상장사 하나 인수해서 정관에 코인이랑 게임 개발한다고 추가한 다음에 자기랑 친한 업체에 외주도 좀 주고, 접대 및 회사의 운영비용도 지출하면서 비용처리 명분도 만들고 게다가 상장사니깐 여러가지 신박한 금융공학 기법들을 이용해서 주주환원(?) 정책도 해주다 보면 어느새 더이상 사기꾼이 아닌 진짜 상장사 회장님이 되어있는거죠.ㅋㅋ

@notele7

주택보증보험공사랑 은행에다 전세사기(?) 치기

기사원문

사건에 대한 제 개인적인 상상입니다만, 대출자가 사업같은거 하다가 이게 잘 안풀려서 최후의 보루로 대출받은 전세 보증금을 안갚고 다른곳에다 써버리고 배째 시전한것 같은데, 어차피 부도 위기였다면 이러나 저러나 신불자행인데 대출받은 전세금으로 급한 불부터 끄고 한 10년정도 채권추심 버텨내면 악성채권으로 분류되어서 요령있으면 갚아야 할 채권 최고액 중 일부만 갚고도 상계처리 협상이 가능한 경우가 실제로 있죠. 신용은 당연히 나락가게 되지만요.

물론 급전 땡겨준 은혜(?)와 자신의 신용을 생각해서 양심있게 착실히 전액 다 갚으시길..

그나저나 앞으로 이런 일이 계속해서 성행하게 되면 부동산 중개인들의 공공연한 up계약서 관행과 전세자금 대출은 시간이 지날수록 더욱 까다로워질것 같네요.

@notele7

지갑을 잃어버렸을때 간편히 찾을 수 있는 방법.

1. 동네 마트에 간다

2. 곰표 밀가루를 구매

3. 밀가루를 작은 비닐백에 가득 담는다.

※네임펜으로 케이1g이라고 써주면 더 굳

4. 이제 가방이나 지갑에 넣고 잃어버리자

5. 며칠 후 경찰서에서 지갑 or 가방 주인이냐며 출석 연락이 온다.

6. 위풍당당한 걸음으로 경찰서에 찾아가서 내 가방 or 지갑을 찾아오면 성공.


추신
이 방법은 평범한 공공장소에서나 통하는 방법입니다. 플팔이, 무인 이딴 장소에서 잃어버리시면 오히려 지갑주은 사람이 안에 케타민도 들어있다고 신나서 소리 지르며 코로 밀가루 다 마시고 지갑은 지갑대로 영영 찾지 못하게 됩니다.

@notele7

텔레그램에 어느 보안채널이라는 곳에서 코인 지갑이 거래소는 kcy 인증이라서 익명성에서 위험하고 엑소더스, 트러스트월렛, 톤키퍼, 토큰포켓 등등 이런 무기명지갑(?)들은 보안과 익명성에 있어서 안전하다는 무슨 꿈나라 이야기를 사실마냥 써놓은 글을 봤는데요.

뭐 잘 모르시면 그럴 수 있다고 봅니다.

보통 비트코인 거래를 위해서 지갑을 사용할 때는 대부분의 지갑들이 비트코인 풀노드에 의존해서 직접 접속하기 때문에 지갑 자체에서 Tor접속을 지원하지 않으면 노드에다 자신의 ip주소를 고스란히 남기게 됩니다.

여기서 비트코인 노드란 비트코인의 모든 거래기록을 가지고 있으면서 새로운 블록(신규 거래장부 내역의 묶음)이 생성됐을때 이 장부를 각자 자신의 기존 장부와 대조해서 거래의 흠결을 검증하는 비트코인 네트워크에 존재하고 있는 컴퓨터들이라고 보시면 됩니다.

게다가 비트코인의 모든 네트워크 기록은 동네 개똥이 소똥이 아무나 다 열어볼 수 있죠.

정말 보안을 생각한다면 Tor와 Coinjoin 기능을 지원하지 않는 지갑은 절대 사용하지 마세요.

그리고 Vpn으로 지갑에 접속해도 여러분이 접속하고 계신 Vpn의 서버는 여러분의 실제 ip와 활동을 고스란히 알 수 있습니다.

자칭(?) no-log vpn과 익명 결제를 사용하면 어느정도 안전하겠지만 개인적으로 저는 Vpn은 100퍼센트 익명을 보장하지 못한다고 생각합니다.

아무튼 모바일 환경에서 사용 가능한 최고의 익명성 지갑으로는 사무라이 월렛이 있는데요.

https://github.com/Samourai-Wallet/samourai-wallet-android

깃허브 사무라이 월렛 다운로드 주소입니다.

https://samourai.kayako.com/

작년 4월에 fbi에서 공홈을 막아버려서 서포트 받으시려면 위 주소로 들어가시면 됨.

https://ashigaru.rs/news/announcement-whirlpool/

Spparow 월렛 coinjoin기반으로 새로운 whirlpool(믹싱서비스) 구축했다는 뉴스

@SamouraiWallet

사무라이 월렛 텔레그램 공식채널 및 일반 지원

사무라이 지갑의 다운로드와 사용법이 복잡하고 어렵다고 느껴지시면 대안으로 green wallet을 추천드립니다.

비트코인코어 개발진들이 만든 지갑인데 Tor 지원으로 트러스트월렛이나 엑소더스같은 지갑들보다 익명성이 더 뛰어납니다. 그러나 거래 내역을 섞어서 추적을 힘들게하는 기능은 지원하지 않습니다.

추후 시간이 나면 풀노드 구축 및 연동을 이용하여 모바일 환경에서 최대한의 익명성 지갑 구축 방법에 대해서도 한번 다뤄보도록 하겠습니다.

감사합니다.

@notele7

위에 업로드한 글로 제게 지적 받으신 보안채널 운영자분께서 챗 gpt에 제가 썻던 글을 돌려서 제게 억까를 시전하신다면 저도 당연히 반박해드려야겠죠?

A16칩 아키텍처는 아이폰15에서 그대로 사용한게 맞습니다. (님이 쓰시는 gpt에다 물어보세요. ㅋㅋ)

이미 brute force 공격에서 아이폰은 이제 갤럭시나 픽셀같은 안드로이드폰 대비 완전한 보안우위를 점하지 못하는것도 사실입니다.

그리고 소프트웨어를 분석하여 반도체의 작동방식을 유추하는게 물리적으로 반도체를 역설계 하는것보다 훨씬 더 쉽고 비용이 적게 드는게 맞고요, 이런 방식을 응용해 보안 취약점을 찾아내서 서비스하는 기업들이 셀레브라이트나 마그넷같은 회사죠. (UFED, graykey)

반박글인데 써놓고 보니 틀린게 하나도 없어서 기존에 썻던 제 글 복붙이나 마찬가지네요.

본인의 정보글이 잘못되어 있다면 지적한 사람 억까할 시간에 똥 싸지른 정보글부터 먼저 빨리 치우거나 수정하시고 본인 채널 구독자들에게 사과를 하셔야죠.

그것도 보안 관련해서 완전 잘못된 정보인데.

아무튼 억까를 위해 제 글 gpt에 복붙하시느라 고생하셨습니다.

억까당한 제 글 원문 보러가기
https://t.me/notele7/192

텔레그램은 자신들의 성장동력을 위해 그동안 불법적인 활동들을 방조했었는데 이제 그 용도폐기가 얼마 남지 않은듯 합니다.

과거에 초창기 인스타그램에서 아마추어 포르노 배우들이 자신들의 성교영상을 마음껏 게시하는걸 방조하며 플렛폼을 키워나가다 메타에서 인수 후 전부 퇴출시켰듯이 말이죠.

그동안 텔레그램은 자유를 가장한 불법의 무법지대였고 유료화 이후 사용자들의 이러한 불법적인 활동들을 점차 제재하며 제도권 편입을 위한 세탁 절차를 밟고 있습니다.

불법 생태계를 키워 이용자 기반을 확보한 뒤 깨끗한 척하며 규제에 순응하는 플랫폼의 수순이죠.

두로프 역시 더 이상 뒷간같은 불법 메신져의 대장이라는 호칭보단 다른 잘 나가는 빅테크 수장들처럼 IT, 금융 귀족이 되고 싶겠죠.

그래도 익명성과 자유는 죽지 않을거라고 생각합니다. 단지 이동할 뿐이죠.

https://youtu.be/ZEqQixQ_WzU?si=3lnjcVLEYIlcYBKk

@notele7